Apply on Kit Job: kitjob.ca/job/2g980q

Join as a Lead Formal Verification Specialist, where your expertise will verify ASICs using cutting-edge formal tools. Influence design decisions while ensuring compliance and correctness.

In this pivotal role, you'll focus on formal verification of advanced ASIC designs related to AI technologies. You will partner with design teams to define properties and leverage formal techniques to achieve accurate verification. With a solid emphasis on developing efficient verification methodologies, you will drive critical designs through the formal sign-off process while guiding junior engineers in standard procedures.

Key Responsibilities:



• Conduct formal verification on AI ASIC designs • Collaborate with architecture teams to influence micro-architecture • Create advanced verification methodologies for ASICs • Document methodology FAQs and train junior staff • Assist in silicon bring-up and debugging tasks

Requirements: • BS/MS/PhD in CS/CE/EE or equivalent • 12+ years in ASIC verification, 8+ years focus on formal • Proficient in SystemVerilog Assertions and formal verification • Familiarity with industry-leading formal verification tools • Strong skills in scripting for automation (Tcl, Python)

Harness your formal verification skills to enhance design correctness and efficiency in cutting-edge ASIC projects. #J-18808-Ljbffr

Apply on Kit Job: kitjob.ca/job/2g980q

📌 Lead Formal Verification Specialist (Toronto)
🏢 NVIDIA
📍 Toronto