Formal Verification Engineer

Asks for

• abstraction refinementThe ad says“Equivalence checking, abstraction refinement, and formal coverage”
• Assertion-based verification (SVA)The ad says“Assertion-based verification (SVA)”
• equivalence analysisThe ad says“In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.”
• equivalence checkingThe ad says“Equivalence checking, abstraction refinement, and formal coverage”
• formal coverageThe ad says“Equivalence checking, abstraction refinement, and formal coverage”
• formal verificationThe ad says“In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.”
• JasperGoldThe ad says“JasperGold, VC Formal, or similar formal verification tools”
• model checkingThe ad says“In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.”
• property decompositionThe ad says“Model checking and property decomposition”
• property verificationThe ad says“In this role, you’ll build formal proofs of design correctness using model checking, property verification, and equivalence analysis. You’ll collaborate closely with RTL, verification, and ML research teams to develop hybrid formal engines that reason about AI-generated hardware at scale. You’ll define formal properties, automate assertion synthesis, and build systems that verify at the speed of thought.”
• VC FormalThe ad says“JasperGold, VC Formal, or similar formal verification tools”