Step into the role of ASIC Design Verification Engineer, applying formal verification techniques to sophisticated AI-related designs. Drive compliance and assist in project delivery with precision.As a key contributor, you will validate ASIC designs using formal verification methods, working closely with architects and design teams. This role requires defining verification scopes while tackling complex design issues and ensuring adherence to specifications. You'll contribute to the verification cycle and implement advanced methodologies that include automation for enhanced efficiency.Key Responsibilities:• Verify complex AI ASICs using formal verification• Collaborate with teams on property specification and design• Develop and implement automated verification methods• Mentor junior engineers in formal techniques• Support debugging and silicon bring-up effortsRequirements:• BS/MS/PhD in CS/CE/EE or equivalent• 12+ years ASIC verification experience, 8+ years formal• Advanced understanding of SystemVerilog Assertions• Experience with leading formal verification tools• Strong scripting ability in Tcl, Python or similarLeverage your formal verification expertise to elevate the quality and efficiency of leading ASIC designs.#J-18808-Ljbffr
Asic Design Verification Engineer
NVIDIA
toronto, toronto
Published 27 days ago
Report job