What are the responsibilities and job description for the Formal Design Verification Engineer position at ACL Digital?
We are looking for candidates with most recent hands-on experience in formal verification.
Required Skills:
- Minimum of 3yrs experience (most recent experience in formal verification) & NOT looking for anyone with more than 10yrs.
- Hands-on System Verilog Assertion coding for formal setups
- Hands-on experience with equivalence checking, C & RTL model checking and feature verification setups in Formal
- Exposure to VC Formal or Jasper Gold tool
- Most recent experience in Formal verification
