講演名 1996/12/13
等価状態の部分的抽出による大規模順序回路の簡単化
樋口 博之, 松永 裕介,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 順序回路の簡単化の方法の一つとして、順序回路の等価状態の情報から得られるドントケアをもとに回路を簡単化する方法がある。このアプローチでは、等価状態の抽出に多くの計算量を必要とし、大きな問題点となっていた。そこで、本稿では、大規模な順序回路に適用可能な等価状態の抽出方法を提案する。本手法は、等価状態を全て求めるのではなく、部分的に効率良く求めることにより、従来適用できなかった規模の回路を扱う。等価状態の部分的な抽出は、単一サイクル等価性のみを扱い、さらに調べるべき状態対を絞り込むことにより行う。実験を行ったところ、フリップフロップ数が1500以上のべンチマーク回路に対しても、実用的な時間内で多くの等価状態を抽出することができ、本手法の有効性が示された。
抄録(英) Computing equivalence states of sequential circuits or FSMs has several applications in the field of synthesis and verification. Symbolic traversal techniques are applicable only to medium-sized circuits because they require a lot of image computation in order to extract all the equivalent states. This paper proposes a novel technique for equivalence class computation in order to handle large circuits. The technique consists of output partitioning and partial extraction of equivalent state pairs. Partial extraction is done by targeting only single cycle equivalence and selecting state pairs to be checked. Experimental results on large ISCAS89 benchmarks show its applicability.
キーワード(和) 順序回路 / 等価状態 / 状態数最小化 / 面積最適化 / 二分決定グラフ
キーワード(英) sequential circuit / equivalent states / state minimization / binary decision diagram
資料番号 VLD96-71,CPSY96-83
発行日

研究会情報
研究会 VLD
開催期間 1996/12/13(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 VLSI Design Technologies (VLD)
本文の言語 JPN
タイトル(和) 等価状態の部分的抽出による大規模順序回路の簡単化
サブタイトル(和)
タイトル(英) Partial Extraction of Equivalent State Pairs for Optimizing Large Sequential Circuits
サブタイトル(和)
キーワード(1)(和/英) 順序回路 / sequential circuit
キーワード(2)(和/英) 等価状態 / equivalent states
キーワード(3)(和/英) 状態数最小化 / state minimization
キーワード(4)(和/英) 面積最適化 / binary decision diagram
キーワード(5)(和/英) 二分決定グラフ
第 1 著者 氏名(和/英) 樋口 博之 / Hiroyuki HIGUCHI
第 1 著者 所属(和/英) (株)富士通研究所CAD研究部
CAD Laboratory, Fujitsu Laboratories Ltd.
第 2 著者 氏名(和/英) 松永 裕介 / Yusuke MATSUNAGA
第 2 著者 所属(和/英) (株)富士通研究所CAD研究部
CAD Laboratory, Fujitsu Laboratories Ltd.
発表年月日 1996/12/13
資料番号 VLD96-71,CPSY96-83
巻番号(vol) vol.96
号番号(no) 425
ページ範囲 pp.-
ページ数 8
発行日