ツール種別
|
EDAツール
|
RTL Checker
|
Spyglass
LEDA
|
Atrenta社製
Synopsys社製
|
シミュレータ
|
ModelSim
NC-Verilog
VCS
|
Mentor Graphics社製
Cadence社製
Synopsys社製
|
論理合成
|
RTL Compiler
Design Compiler
|
Cadence社製
Synopsys社製
|
パワー最適化
|
RTL Compiler
Power Compiler
|
Cadence社製
Synopsys社製
|
DFT
|
DFT Compiler
TetraMAX
|
Synopsys社製
Synopsys社製
|
形式検証
|
Coformal-LEC
Formality
|
Cadence社製
Synopsys社製
|
P&R
|
EDIS
ICCompiler
Astro
Talus
|
Cadence社製
Synopsys社製
Synopsys社製
旧Magma社製
|
カスタムレイアウト
|
Virtuoso
αSX
|
Cadence社製
JEDAT社製
|
タイミング解析
|
ETS
PrimeTime
TimeCraft
|
Cadence社製
Synopsys社製
Incentia社製
|
検証・解析 |
Calibre
CeltIC
QRC
EPS
Conformal-LP
Verdi
PrimeTimeSI
StarRC-XT
HSPICE
|
Mentor Graphics社製
Cadence社製
Cadence社製
Cadence社製
Cadence社製
Novas社製
Synopsys社製
Synopsys社製
Synopsys社製
|