自動的にゲートレベルの論理設計を進行するという技術。この技術は、ハードウェア記述言語（HDL）によって示されたRTL記述や真理値表、状態遷移記述、論理式などを入力すると、希望する半導体製造技術（プロセステクノロジー）を用いて最適なゲートレベルの論理回路（ネットリスト）を自動的に生成します。’
