Social network you want to login/join with:
5+ years industry experience with the following skillset:
1. Strong System Verilog/UVM based verification skills & experience with assertion & coverage-based verification methodology
2. Assertion coding and converging on Formal tools
3. Must have worked on Jasper Gold or VC Formal tools
4. Understanding of common flows, such as Sequential equivalence checks, Register verification using formal is a plus
5. Experience in dynamic verification methodologies will be a plus
6. Experience with scripting languages such as Perl, Python is a plus
#J-18808-Ljbffr