Principal Formal Verification Engineer — CPU Proofs

NUVACORE, Inc.; Town of Texas (WI); Hybrid; USD 120,000 - 240,000; Full time

Job summary

Nuvacore, Inc. is building a high-performance, low-power CPU and seeks Formal Verification Engineers at multiple levels to verify the design using formal methods.

You will translate micro-architecture specs into properties, build verification environments, and use model checking and equivalence checking to validate correctness before silicon. As part of the design verification team, you will drive the verification plan, implement formal models, debug counterexamples, and automate flows with

Qualifications

• Degree in Electrical/Computer Engineering, Computer Science or Mathematics.
• Hands-on formal verification experience with model checking or equivalence checking.
• Strong Verilog/SystemVerilog and logic concepts; debugging counterexamples.
• Proficiency in Python or TCL for automation and flow scripting.
• Knowledge of CPU micro-architecture and digital logic.

Responsibilities

• Plan and drive the verification scope and formal test plan.
• Build formal environments with assumptions, constraints, and assertions.
• Apply model checking and equivalence checking to reach proofs.
• Debug counterexamples and collaborate with designers to fix issues.
• Develop end-to-end formal flow and automation using Python/TCL.
• Review setups and proofs with the DV team cross-functionally.

Skills

Verilog/SystemVerilog

Assertions/temporal logic

Model checking

Equivalence checking

Python

TCL/Perl

Debug skills

Education

BSc in EE/CS/Math

Tools

Cadence JasperGold

Synopsys VC Formal

Siemens Questa Formal

Job description

Nuvacore, Inc. is building a high-performance, low-power CPU and seeks Formal Verification Engineers at multiple levels to verify the design using formal methods.

You will translate micro-architecture specs into properties, build verification environments, and use model checking and equivalence checking to validate correctness before silicon. As part of the design verification team, you will drive the verification plan, implement formal models, debug counterexamples, and automate flows with