論理合成
ASICを対象とした論理合成ソフトウェアツール Design Compiler (シノプシス) Encounter RTL Compiler (参考) (ケイデンス・デザイン・システムズ) BuildGates (ケイデンス・デザイン・システムズ) - ビル・ゲイツをもじったネーミング BlastCreate (マグマ・デザイン・オートメーション)
FPGAを対象とした論理合成ソフトウェアツール Quartus II (アルテラ) Xilinx Synthesis Technology (XST; ザイリンクス) - ISE Design Suite の一部として提供 LeonardoSpectrum と Precision (メンター・グラフィックス) Synplify (Synplicity) BlastFPGA (マグマ・デザイン・オートメーション) DC FPGA (シノプシス) - 開発中止された