SNUG 2001
NVIDIA Design Tools*
•Digital
•EMACS and VI !!
•RTL - Verilog
•Simulators - Synopsys VCS, Cadence XL & NC, InnoLogic ESP-XV
•Emulator - IKOS VLE
•Synthesis - Synopsys Design Expert, Synopsys Module Compiler, Synopsys Physical Compiler
•Test – Synopsys Sunrise, Synopsys TetraMax
•Timing - Synopsys PrimeTime using SDF/DSPF or custom wireloads, Mentor Tau
•Debug – Synopsys Virsim, Avant! Verilint, RealIntent Verex
•Code Coverage - Synopsys Covermeter
•test bench - in-house PLI-based and file-based environments
•Formal Equivalency Checking - Synopsys Formality
•Formal Model Checking - Averant Solidify
•RAMS - in-house, compiled (Artisan) , custom
•Libraries - 3rd party (Artisan)
•version control - Perforce
•machine (queue) management - Platform LSF
* partial list

| For reference only