|
|
Languages - Verilog, VHDL, System C |
|
Simulators - VCS, NC-Verilog, Modelsim, Aldec and Others |
|
Analyzers - Debussy, Signal Scan and Others |
|
Synthesis - Synopsys Design Compiler |
|
Static Timing Analysis - Prime Time, Design Time |
|
C, Perl, Make, Shell Programming |
|
Formal Verification & Code Coverage Tools |
|
Customer Specified Tools |
|
|
|
|