電子回路シミュレーション
ネットリスト EDIF SPICEフォーマット ガーバーフォーマット
アナログシミュレータ SPICE (ソフトウェア) SCAT(ソフトウェア)
ハードウェア記述言語 VHDL Verilog
論理シミュレータ Icarus Verilog