Process / pipelineDigital design automation

論理合成

論理合成とは、高水準ハードウェア記述(Verilog/VHDLのRTL)を最適化されたゲートレベルネットリストへ自動変換することである。1980年代から1990年代にかけてUCバークレーのBraytonらによって開拓された論理合成は、振る舞い仕様を物理的実装へと変換し、面積、速度、消費電力の最適化を行う。合成は現代のデジタル設計に不可欠であり、最も手間のかかる手作業を迅速に反復・自動化することを可能にする。

MethodMindで開く近日公開動画近日公開Download slides

手法の全文を読む

会員限定

無料アカウントでログインすると、このセクションを読めます。

ログイン

Method map

The neighbourhood of related methods — select a node to explore.

出典

  1. Brayton, R. K., Hachtel, G. D., McMullin, C. T., Sangiovanni-Vincentelli, A. L., & Vincentelli, A. S. (1987). Logic Synthesis for VLSI Design. Kluwer Academic. link
  2. Mishchenko, A., Chatterjee, S., Brayton, R., & Sangiovanni-Vincentelli, A. L. (2006). DAG-aware AIG rewriting. In Proc. DAC (pp. 713-718). ACM. link
  3. Berkeley, S. (1995). SIS: A system for sequential circuit synthesis. Technical Report UCB/ERL M95/55, UC Berkeley. link

このページの引用方法

ScholarGate. (2026, June 3). Logic Synthesis for Digital Circuit Design. ScholarGate. https://scholargate.app/ja/electrical-engineering/logic-synthesis

Which method?

Set this method beside its closest kin and read them side by side — the library lays the books on the table; the choice is yours.

Compare side by side

この手法を参照する項目

ScholarGateLogic Synthesis (Logic Synthesis for Digital Circuit Design). 2026-06-15に以下より取得 https://scholargate.app/ja/electrical-engineering/logic-synthesis · データセット: https://doi.org/10.5281/zenodo.20539026