3.3.3　テクノロジマッピング

	定義のある用語	紹介だけの用語
	テクノロジマッピング（Technology Mapping）	NAND
	ASIC（Application Specific Integrated Circuit）	INVERTER
	セルベース（Cell Based）	MOS トランジスタ
	ゲートアレイ（Gate Array）	ソース
	スタンダードセル（Standard Cell）	ドレイン
		ルールベース
		DAGON
		アルゴリズムベース
		テクノロジマッパー
(1) テクノロジマッピングの入力	サブジェクトグラフ（Subject Graph）	ブーリアンネットワーク
	パタングラフ	データ構造
	論理合成（Logic Synthesis）	節点
	多段論理回路（Muliti-Level Logic Circuit）	論理関数
		NAND
		AND-OR
		AND
		OR
		インバータ
		論理式
(2) DAG Covering とTree Covering	DAG Covering	被覆問題
	Tree Covering	ファンアウト
		木（Tree）
		部分グラフ
		マッチ
		動的計画法
		根
		部分木
		最小被覆