ASIC Digital Verification Engineer job at Synopsys