Senior Formal Verification Engineer
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
., Cadence JasperGold/DPV, Synopsys VC Formal, Siemens OneSpin) and their specialized mathematical/datapath apps. Languages...
Proficiency in synthesis tools (e.g., Synopsys Design Compiler or Cadence Genus) Hands-on experience with Lint, CDC, and RDC...
verification, and scripting (Python, Tcl, etc.). – Experience with EDA tools from Cadence, Synopsys or Mentor for logic synthesis...
, Synopsys HSPICE or Siemens EDA Solido SPICE Experience in the usage and adaption of the Cadence EDA environment Experience...