|
 |
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 |
|
|
|
|