特集「論理設計の形式的検証」の編集にあたって

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1994-08-15

著者

• 藤田 昌宏

  富士通研究所人工知能研究部

• 平石 裕美

  京都産業大学工学部情報通信工学科

• 平石 裕実

  京都産業大学

• 藤田 昌宏

  米国富士通研究所

関連論文

• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 正則時相論理のモデルチェック法の改良と設計検証への適用
• 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (画像工学)
• 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (集積回路)
• 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ (信号処理)
• ハードウェアデバッグ支援のためのエラー入出力トレースの上位レベル設計における再現手法(高位レベルテスト・検証,VLSI設計とテスト及び一般)
• 製造後デバッグのための入出力シーケンススライシング手法(設計/テスト/検証)
• 充足可能性判定に基づくシステムレベルデバッグ支援手法におけるバグモデルの導入による効率化
• 上位設計記述の解析を利用した製造後機能テストの効率化
• 動的パッチ読み出し機構を備えた製造後機能修正可能アクセラレータ
• 依存グラフを用いた局所的な記号シミュレーションによるC言語記述に対する等価性検証手法の提案(システムLSI設計及び一般)
• 依存グラフを用いた局所的な記号シミュレーションによるC言語記述に対する等価性検証手法の提案(システムLSI設計及び一般)
• C言語を対象とした記述間の差異に基づく効率的な等価性検証手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
• C言語を対象とした記述間の差異に基づく効率的な等価性検証手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
• C言語でのハードウェア記述に対する効率的な等価性検証手法の提案(システム設計及び一般)
• C言語でのハードウェア記述に対する効率的な等価性検証手法の提案(システム設計及び一般)
• ループ融合を利用した複数のforループからのパイプラインハードウェア合成
• 1M-5 ワードレベル論理式の充足可能性判定問題を利用したシステムレベル設計デバッグ支援手法(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
• 潜在的多様性を考慮したプログラマブルハードウェアの高位合成手法(プログラマブルデバイスと設計技術,システムオンシリコンを支える設計技術)
• 設計固有セルライブラリの自動生成手法(論理設計,デザインガイア2009-VLSI設計の新しい大地)
• 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
• 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
• 形式的設計検証のための分岐時間正則時相論理
• 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
• 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
• 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
• On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
• 正則時相論理の充足可能性判定アルゴリズム
• 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 仮想マルチプロセッサモデルに基づく高速SoCプロトタイピング手法(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 高性能SoCプロトタイプのFPGA実装方式の検討(論理設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 高性能SoCプロトタイプのFPGA実装方式の検討(論理設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 上位設計記述の解析を利用した製造後機能テストの効率化 (ディペンダブルコンピューティング)
• 上位設計記述の解析を利用した製造後機能テストの効率化 (VLSI設計技術)
• RTL-Tokioに基づくパイプライン化支援
• RTL-Tokio : レジスタトランスファレベル動作記述言語
• 時相論理型言語Tokioによる論理回路検証系の評価
• 時相論理型言語Tokioによるハードウェア記述 : 時間に依存するfactによる同期記述
• 1M-6 動作合成された束データ方式による非同期式回路とその動作仕様に対する等価性検証手法(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
• 2分決定グラフを用いた推移的閉包計算アルゴリズムと形式的検証への応用
• Boolean Relationからの多段論理回路の合成
• 2. 形式的検証手法の実設計への適用例 ( 論理設計の形式的検証)
• 特集「論理設計の形式的検証」の編集にあたって
• VLSI実設計に於ける形式的検証の適用
• 多入力論理関数に対する効率的なWalshスペクトルの計算手法とそのテクノロジマッピングへの応用
• チャネル境界上の端子位置決定法
• Rectangular Dualに基づくマクロセル配置手法
• 多段論理合成における二段論理式簡単化の一手法
• 順序付き2分決定グラフと許容関数を用いた多段論理回路簡単化手法 (回路自動合成と最適化論文特集)
• 大規模回路の多段論理簡単化について
• 順序回路の簡単化について
• 遅延を意識したレジスタトランスファレベルからの合成について
• 2分決定グラフのための変数順決定アルゴリズムとその評価
• 遅延時間の増加を押さえたトランスダクション法について
• トランスダクション法に基づく多段論理回路簡単化機能をもつ論理合成システム
• 2分決定グラフを利用したトランスダクション法の改良
• 時相論理による仕様記述支援システム
• グラフに基づく論理照合アルゴリズムの評価と改良
• 論理とそのVLSI設計への応用 (VLSI設計の新しい流れ)
• 発見的手法に基づくスケーラブルなインクリメンタル高位合成(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 発見的手法に基づくスケーラブルなインクリメンタル高位合成(高位設計1,デザインガイア2010-VLSI設計の新しい大地-)
• 2P-1 動的ウェブアプリケーションの操作に対する画面間遷移の網羅的検証(ソフトウェアの検査・検証,学生セッション,ソフトウェア科学・工学,情報処理学会創立50周年記念)
• マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)の論理シンボル入力/編集
• マルチコンピュータ・マルチスクリーン・グラフィクス・システム(MCMSシステム)による論理回路図の入力
• インクリメンタル高位合成に向けた設計記述間差分の計算手法 (ディペンダブルコンピューティング)
• インクリメンタル高位合成に向けた設計記述間差分の計算手法 (コンピュータシステム)
• システムレベル設計における同期検証フレームワークの提案
• システムレベル設計における同期検証フレームワークの提案
• データ符号化によるVLSIにおける低消費電力・高信頼データ伝送手法の検討
• データ符号化によるVLSIにおける低消費電力・高信頼データ伝送手法の検討(低消費)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
• トランスダクション法に基づく多段論理回路簡単化機能をもつ論理合成システムとその評価
• マルチコンピュータ・マルチスクリーン・グラフィクスワークステーションの開発
• 時相論理型言語Tokioを利用したハードウェア機能設計
• 並列分枝限定法と動的探索木分割によるクラスタシステム向き最適順序付けアルゴリズム(アルゴリズム)
• 通信状態の可視化によるメッセージ通信型並列プログラムのデバッグ支援ツール
• クラスタシステムにおける並列バイトニックソートの性能評価
• Verification of Deadlock Free Property of Asynchronous Robot Control Programs
• 情報技術革命を支える高性能・高効率計算システムの研究
• 平成13年度活動概要
• Verification of Deadlock Free Property of Asynchronous Robot Control Programs
• HRクラスタシステムガイド(ハイテクリサーチプロジェクト)
• 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
• 静的部分問題割り当てに基づくN-queen問題の並列アルゴリズム
• 形式的論理設計検証の研究
• インクリメンタル高位合成に向けた設計記述間差分の計算手法
• インクリメンタル高位合成に向けた設計記述間差分の計算手法
• FPGAを用いたSmith-Waterman Algorithmの高速化(科学技術計算)
• 高位合成ツールを利用したハードウェアアルゴリズムの最適化(最適化技術,システム設計及び一般)
• 反例と設計分割に基づく高位設計に対する効率的な設計修正支援手法(検証技術,システム設計及び一般)
• 形式的検証を用いたプロセッサエラー回復機構の耐性評価手法の検討(検証技術,システム設計及び一般)
• 論理関数の充足不可能性に注目した論理回路デバッグ手法の検討
• 論理関数の充足不可能性に注目した論理回路デバッグ手法の検討
• ゲート回路シミュレーションにおけるGPGPUを利用したアサーション自動抽出
• 論理関数の充足不可能性に注目した論理回路デバッグ手法の検討(設計技術,組込み技術とネットワークに関するワークショップETNET2012)
• 論理関数の充足不可能性に注目した論理回路デバッグ手法の検討(設計技術,組込み技術とネットワークに関するワークショップETNET2012)
• 動作レベル・レジスタ転送レベル混在設計記述向け高位合成手法(動作レベル設計と配線手法,システムオンシリコンを支える設計技術)
• 潜在的な依存関係を利用した高位設計デバッグ支援手法(システム設計,システム設計及び一般)
• 誤差を有するシステムのシミュレーション結果に対する統計的解析とそのハードウェアによる高速化(設計環境,システム設計及び一般)
• プログラム可能な素子を利用したゲートレベル回路のデバッグ手法
• プログラム可能な素子を利用した大規模回路の自動修復手法

もっと見る 閉じる

スポンサーリンク