•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