Formal Verification Engineer
Core
Ensure correctness of next-generation high-performance RISC-V CPUs and AI compute platforms using formal methods to prove complex hardware behavior and uncover corner cases.
Role type
Senior IC formal verification engineer (CPU/SoC)
Builds
High-performance RISC-V CPUs and AI compute platforms
Domain
Semiconductor / CPU Design / Formal Verification
Required skills
Formal verification methodologies, SystemVerilog (SVA), Digital design, Computer architecture, Python/Tcl/C++ scripting, Debugging, RTL analysis
Preferred skills
CPU pipelines, caches, control logic, Microarchitecture
Technologies
SystemVerilog, Python, Tcl, C/C++, Formal verification tools
Responsibilities
Develop properties and build formal verification environments, Analyze counterexamples and determine root causes of failures, Collaborate with CPU architects and RTL designers to drive issues to closure, Apply formal techniques to challenging problems in modern processor design
Seniority
Senior, hands-on IC
