Senior/Principal Formal Verification Engineer

Careers; Markham; On-site; CAD 120,000 - 180,000; Full time

Job summary

Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels—from Senior Engineer to Principal—to prove the CPU correct with formal methods.

As part of the design verification team, you will turn micro-architecture specifications into properties, build environments, and use model checking to hunt bugs before silicon, collaborating with the design team.

Qualifications

• 15 years (Principal) or 4 years (Senior Engineer) of design-verification experience with hands-on formal verification.
• Hands-on formal techniques --- model checking and/or equivalence checking --- through to proof convergence.
• Strong Verilog/SystemVerilog and assertions / temporal logic.
• Strong scripting, analytical, and debug skills.

Responsibilities

• Plan & Strategy: Drive the verification scope and formal test plan for each verification problem — turning the micro-architecture specification into the properties to prove.
• Formal Environment: Build the formal environment — assumptions, constraints, assertions, and cover properties — plus reusable, optimized formal models.
• Proof & Bug Hunting: Apply model checking, equivalence checking, and abstraction to reach full or bounded proofs, and hunt deep bugs in areas such as cache coherence, memory consistency, and speculative execution.
• Debug & Design Feedback: Debug counterexamples to root cause and partner directly with designers to fix and improve the micro-architecture.
• Flow & Automation: Build and maintain the end-to-end formal flow — automation (Python/TCL), assertion libraries shared across formal and simulation, and tool-issue resolution with vendors.
• Cross-functional Collaboration: Review formal setups and proofs with the design team, and partner closely across the DV team.

Skills

Verilog/SystemVerilog

Assertions / Temporal logic

Model checking

Equivalence checking

Python scripting

TCL / Perl scripting

Debugging / debugging skills

CPU micro-architecture knowledge

Digital logic

Education

Degree in Electrical/Computer Engineering, CS or Mathematics

Tools

Cadence JasperGold

Synopsys VC Formal

Siemens Questa Formal

Job description

Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels—from Senior Engineer to Principal—to prove the CPU correct with formal methods.

As part of the design verification team, you will turn micro-architecture specifications into properties, build environments, and use model checking to hunt bugs before silicon, collaborating with the design team.