SS
Verification Engineer 4
Accepting applicationsSunrise Systems, Inc. · Austin, TX
Contract Associate CadencePerlPythonSynopsysTCL
Posted
1d ago
Category
Verification
Experience
Associate
Country
United States
Verification Engineer 4
Austin, TX
12 Months
Description:P
REFERRED EXPERIENCE:Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)Strong proficiency in System Verilog Assertions (SVA) and formal property specificationExperience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysisFamiliarity with scripting languages (TCL, Python, Perl) for flow automationExtensive experience in design verification with a strong focus on formal verificationExpertise in System Verilog and UVM-based verification methodologies - Nice to have
Show more Show less
Austin, TX
12 Months
Description:P
REFERRED EXPERIENCE:Hands-on experience with VC Formal (Synopsys) and/or Jasper Gold (Cadence)Strong proficiency in System Verilog Assertions (SVA) and formal property specificationExperience with formal verification applications: FPV, connectivity checking, register verification, equivalence checking, and coverage analysisFamiliarity with scripting languages (TCL, Python, Perl) for flow automationExtensive experience in design verification with a strong focus on formal verificationExpertise in System Verilog and UVM-based verification methodologies - Nice to have
Show more Show less