Formal Verification Engineer
Core
Crafting and optimizing formal verification flows for CPU/GPU designs to ensure design correctness using model checking and equivalence checking techniques.
Role type
Senior IC formal verification engineer (CPU/GPU)
Builds
CPU and GPU micro-architectures for AI and HPC workloads
Domain
Semiconductor hardware design (CPU/GPU)
Required skills
Formal verification techniques, Model checking, Equivalence checking, System Verilog, Verilog, Temporal logic assertions, HDLs, Scripting, RTL debugging, Verification environment design, Assertion libraries, Verification planning
Preferred skills
CPU/GPU unit/microarchitecture verification, Complex verification projects with formal closure, Cross-functional collaboration, Mentoring
Technologies
System Verilog, Verilog, Formal Verification Tools
Responsibilities
Specify, implement, and maintain end-to-end formal verification flows; Develop scripts to automate verification processes; Review formal setups and proofs with design teams; Maintain and extend assertion libraries; Identify key behaviors for verification and create verification plans; Develop verification environments with assumptions, assertions, and cover properties; Apply formal techniques to prove design correctness; Debug RTL to identify failure scenarios.
Seniority
Mid-level, hands-on IC
