Senior Formal Verification Engineer - LPU
Télétravail au CanadaTélétravailTemps plein
NC
NVIDIA Canada Dev. Inc.
12+ ansCandidates need a BS, MS or PhD in computer science, computer engineering or electrical engineering, 12+ years of ASIC verification with 8+ years in formal methods, mastery of SystemVerilog Assertions, experience with a major formal tool such as JasperGold or VC Formal, and scripting skills in Tcl or Python.
VC Formal, SystemVerilog, Tcl, Python