論理合成
論理合成ツールはRTL記述から、ゲート回路(ネットリスト)を合成するツールである。動作合成は、その一階層上流の工程を自動化するツールである。すなわち、C言語等でかかれたアルゴリズム記述(動作記述)から、RTL記述を合成するツールである。動作記述とは、通常のソフトウェアのプログラムのように、処理順序どおりに動作を記述したものである。一方、(合成対象となる)RTL記述は、ハードウェアの並列動作を記述したものであり、すべての文が一クロック内に全部実行されると考えてよい。つまり、RTLはブロック図にほぼ一対一に対応可能であるため、構造を表現しており、「構造記述」とも呼ばれる。
動作合成は、C記述などの動作記述から、データフローグラフを作成し、演算子(+、*)や、配列アクセス、入出力等をスケジューリングする。合成結果は、FSM(有限状態機械)とデータパスの組み合わせとなるツールが多い。 近年(2007年)では市販ツールもあり(米国CadenceのCtoSilicon Compiler, NECのCyberWorkBench, 米国MentorのCatapultC、米国Forte社のCynthesizer等)、携帯電話やプリンタ等身の回りの製品にも、動作合成が利用されている。