論理合成ツール
出典: くみこみックス
論理合成ツール【Logic Synthesis Tool】
RTLの設計データ(ハードウェア記述言語,論理式,真理値表など)を入力して,ゲート・レベルの論理回路(ネットリスト)を出力するソフトウェア.
内部では論理圧縮(Logic Minimization),因数化(Factoring),平坦化(Flatten)などの操作を繰り返し,論理を最適化している.
【出典】西久保 靖彦;基本システムLSI用語辞典,CQ出版社,2000年5月.