論理回路フォーマル検証システムCondorの多値論理対応について
スポンサーリンク
概要
- 論文の詳細を見る
2値論理回路の形式的論理検証を行なうシステムCondorの多値論理回路検証への拡張手法を提案する。多値論理の表現には複数の定数ノードを持つマルチターミナルBDDを用いる。マルチターミナルBDDは、2値のBDD子演算アルゴリズムで処理することができず、否定枝を使用した時に一意性の保証ができないといった問題がある。我々は、BDD上で到達可能な定数ノードを示すフラグの設定と、否定枝使用ルールの設定によってこの問題を解決し、多値論理回路検証のためのマルチターミナルBDDおよび多値論理演算を提案する。これらを用いて多値論理回路の形式的検証システムを実現した。
- 一般社団法人情報処理学会の論文
- 1995-05-26
著者
-
田中 英俊
日本電気ソフトウェア北陸(株)
-
若林 一敏
日本電気(株)
-
藤田 友之
日本電気(株)
-
向山 輝
日本電気(株)
-
山際 肇
日本電気ソフトウェア北陸(株)
-
菅波 和幸
日本電気ソフトウェア北陸(株)
関連論文
- PROCEED-DRAW回路図エディタ
- Varchsyn(3) : HDL記述からの演算シェアリング手法
- 機能合成システム Cyber : システム構成とコントロール・データフロー処理
- Varchsyn(5) : 論理多段化手法
- Varchsyn(4) : 演算器合成手法
- コンピュータによる電子オルガンの自動演奏システムのためのハードウェアシステム
- コンピュータによる電子オルガンの自動演奏システムのためのソフトウェアシステム
- パネル討論 : システムオンシリコン時代の設計方法論 : LSI設計とシステム設計の融合へ向けて
- パネル討論 : システムオンシリコン時代の設計方法論 : LSI設計とシステム設計の融合へ向けて
- 「形式的手法を用いた実用検証システム」 : 汎用機、スーパーコン、EWSの回路検証に全面適用
- 論理回路フォーマル検証システムCondorの多値論理対応について
- 論理検証システムEVERY7(II)
- 論理検証システムEVERY7(I)
- 統合論理設計支援システムILOSにおける論理検証ツールEVERY4
- ゲートアレイ/CBICレイアウトシステムGALET(1) : システム概要
- 信号値の変化に着目したテスト生成手法
- VLSIライブラリ回路選択における知識処理手法 (VLSI設計におけるAI技術の活用)
- PROCEED-DEX機能マクロ選択エキスパートシステム
- 電気系EWSシステムPROCEEDの概要
- ルールの最適選択機能を備えた知識処理ツール : Expert Essence
- 複数信号からの含意を用いた多段論理回路最小化手法
- 大規模多段論理回路の高速最小化手法