BDD制約演算に基づく新しい像計算法について
スポンサーリンク
概要
- 論文の詳細を見る
本稿では、二分決定グラフ(BDD)の制約演算に基づく像計算の新しい手法を示す。像計算は、現状態(集合)から次状態集合を論理関数を用いて計算するための手法で、時相論理のモデルチェックなど順序回路の検証の分野で広く用いられている。ここでは、次状態変数を含む場合の制約演算と論理積(AND演算)の関係を示し、それを状態探索の次状態集合の計算に応用する手法を示す。制約演算により、論理積よりもBDDの節点数を削減できる可能性がある。中規模のISCASベンチマークで状態探索に適用した結果、論理積に基づくこれまでの提案手法に対して良い結果が得られた。
- 社団法人電子情報通信学会の論文
- 2001-11-22
著者
関連論文
- BDDを用いた異なる内部変数を持つ論理回路の等価性判定
- レジスタ転送レベル論理回路の設計検証のための回路縮小法について
- レジスタ転送レベル論理回路の設計検証のための回路縮小法について
- 再構成可能部を持つJavaプロセッサにおけるハードウェアJIT機構の検討
- 再構成可能部を持つJavaプロセッサにおけるハードウェアJIT機構の検討
- A-3-16 再構成可能部を持つJavaプロセッサにおける高速化方式およびハードウェアJIT方式の検討
- 手指動作の日本語による記述と3次元表示用パラメータの抽出
- 手指動作の日本語による記述と3次元表示用パラメータの抽出
- 手話単語の日本語による記述とその応用について
- 手話単語の日本語による記述とその応用について
- トランスダクション法の並列化に関する研究
- トランスダクション法の並列化に関する研究
- C言語を用いた音声認識・学習LSIの設計と実現について
- C言語を用いた音声認識・学習LSIの設計と実現について
- A-3-13 学習回路インターフェースを持ち不特定話者に対応できる音声認識回路
- CAS2000-17 / VLD2000-26 / DSP2000-38 充足可能性判定手法に基づく有限状態機械の状態数え上げ
- CAS2000-17 / VLD2000-26 / DSP2000-38 充足可能性判定手法に基づく有限状態機械の状態数え上げ
- CAS2000-17 / VLD2000-26 / DSP2000-38 充足可能性判定手法に基づく有限状態機械の状態数え上げ
- 充足可能性判定手法に基づいたマルチクロックパス解析
- 充足可能性判定手法に基づいたマルチクロックパス解析
- 充足可能性判定手法に基づいたマルチクロックパス解析
- A-3-8 多段論理回路のための充足可能性判定手法とそれを用いたマルチクロックパス解析
- SA-2-7 教育用16ビットパイプラインプロセッサの設計とチップ試作
- 動的命令変更機構を持つ組み込み向けJavaプロセッサの設計と評価
- 動的命令変更機構を持つ組み込み向けJavaプロセッサの設計と評価
- 順序回路の待ち状態に起因するフォールスパスの解析手法
- 順序回路の待ち状態に起因するフォールスパスの解析手法
- 順序回路の待ち状態に起因するフォールスパスの解析とそれを用いたタイミング検証
- SA-2-6 再構成可能部を持つJavaプロセッサ
- A-3-25 論理関数の重ね合わせに基づく加減算向きLUT
- A-3-4 リング発振器を用いたオンチップ高速シリアル通信方式
- A-3-11 冗長2進CORDIC演算器を有する16ビットパイプラインプロセッサ
- ハードウェア/ソフトウェア協調設計システム
- ハードウェア/ソフトウェア協調設計システム
- Web 上で利用可能な手話単語アニメーションシステムの検討
- 変数のビット長の最適化に基づくCプログラムからのハードウェアの生成
- 変数のビット長の最適化に基づくCプログラムからのハードウェアの生成
- 肢体不自由者の為の入力操作支援システムに関する研究
- オブジェクト指向プログラミングにおける平文形式の仕様の生成について
- 定義域限定に基づく論理関数分割を用いた並列論理検証
- 分散記憶型並列計算機に対する並列二分決定グラフ構成アルゴリズム
- 汎用コプロセッサのDMAを用いたハードウェア/ソフトウェア協調動作法およびそのハードウェア部の最適化法について
- 汎用コプロセッサのDMAを用いたハードウェア/ソフトウェア協調動作法およびそのハードウェア部の最適化法について
- 汎用コプロセッサのための最大遅延を保証するハードウエア設計手法の提案
- 汎用コプロセッサを有する計算機システムのためのハードウェア/ソフトウエア協調設計手法
- マルチクロック演算を考慮した論理回路のタイミング解析
- 汎用コプロセッサ GPCP-SS の実現と評価
- 汎用コプロセッサGPCP-SSの実現と評価
- FBDDの厳密最小化とパストランジスタ論理の合成への応用
- FBDDの厳密最小化とパストランジスタ論理の合成への応用
- パストランジスタ論理の合成のためのFBDDの厳密最小化
- 可変ハードウェアを有する計算機システムにおけるハードウェア資源の管理について
- 可変ハードウェアを有する計算機システムにおけるハードウェア資源の管理について
- 顔の3次元表示と表情の変化に関する研究
- 口語的条件記述から設計の評価値に基づいて室配置を得る方法
- Satisfiability Don't Caresを用いた多段論理回路の簡単化
- BDD制約演算に基づく新しい像計算法について
- BDD制約演算に基づく新しい像計算法について
- BDD制約演算に基づく新しい像計算法について
- ハードウェア/ソフトウェア協調動作のための再構成可能な汎用コプロセッサシステム