高位仕様記述からの非同期式回路自動合成について(ハードウェア,<特集>フォーマルアプローチ論文)
スポンサーリンク
概要
- 論文の詳細を見る
本論文では高位回路記述SpecCから非同期式回路を自動的に合成する手法を示す.その中でも,非同期式回路合成法の一つである論理合成法を適用することができる信号遷移グラフの導出方法を中心に説明する.また,提案手法により自動合成した回路と,他の非同期式回路合成手法で生成された回路や,同期式における回路自動生成システムにより合成された回路との動作速度の比較結果を示す.
- 社団法人電子情報通信学会の論文
- 2006-04-01
著者
関連論文
- TMRデバイスを用いたしきい値変動補償を有する電流モード多値回路の構成(VLSIシステム)
- 高信頼オンチップ非同期データ転送技術に関する一検討(高信頼化,2009年並列/分散/協調処理に関する『仙台』サマー・ワークショップ(SWoPP仙台2009))
- AI-1-9 ディペンダブルNOCへの挑戦(AI-1.デイベンダブルVLSIに向けて,依頼シンポジウム,ソサイエティ企画)
- 束データ方式による非同期式回路の動作合成手法の提案(デザインガアイ2006-VLSI設計の新しい大地を考える研究会)
- 束データ方式による非同期式回路の動作合成手法の提案(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- リアクティブ遅延モデルに基づく高精度非同期ネットワークオンチップシミュレーション手法(ディペンダブルシステム,ディペンダブルコンピューティングシステム及び一般)
- 非同期式計算に基づくディペンダビリティ向上へのアプローチ(ディペンダブルコンピューティングシステム及び一般)
- 多値非同期式回路の形式的検証に関する研究
- リアクティブ遅延モデルに基づく高精度非同期ネットワークオンチップシミュレーション手法 (コンピュータシステム)
- リアクティブ遅延モデルに基づく高精度非同期ネットワークオンチップシミュレーション手法(ディペンダブルシステム,ディペンダブルコンピューティングシステム及び一般)
- リンク故障リカバリ機能を有する多値非同期転送方式(高信頼化,2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWoPP2010)
- 非同期式回路に基づく耐劣化故障性実現に関する考察(ディペンダブルコンピューティングシステム及び一般)
- 非同期式回路に基づく耐劣化故障性実現に関する考察(ディペンダブルコンピューティングシステム及び一般)
- 非同期式回路のFPGA実現とその評価(回路・設計手法)
- プロセス代数に基づく非同期式論理回路の設計検証 (非同期式回路/システム設計論文小特集)
- 空調制御ネットワークにおける信号極性確定の分散アルゴリズム
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討
- 束データ方式による非同期式回路の動作合成手法の提案(動作合成/データパス合成,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 仕様記述言語Balsaからの非同期式回路合成について(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 非同期式計算に基づくディペンダビリティ向上へのアプローチ(ディペンダブルコンピューティングシステム及び一般)
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討 (ディペンダブルコンピューティング)
- FPGA実装を想定した束データ方式による非同期式回路のフロアプラン手法の検討 (VLSI設計技術)
- 8項 非同期式回路設計技術の現状(4節 通研講演会,第5章 国際会議・シンポジウム等)
- 高並列度仕様からの非同期式回路合成のための信号遷移挿入手法(論理合成,システムLSI設計とその技術)
- 高位仕様記述からの非同期式回路自動合成について(ハードウェア,フォーマルアプローチ論文)
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 時間付き信号遷移グラフの効率的縮約について(VLSIの設計/検証/テスト及び一般(デザインガイア))
- 資源制約に基づく高位非同期式回路仕様の変換について(ディペンダブルコンピュータシステム及び一般)
- 資源制約に基づく高位非同期式回路仕様の変換について(ディペンダブルコンピュータシステム及び一般)
- Force-Directed Scheduling アルゴリズムを用いた非同期式データパス回路合成と効率化の検討
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- Force-Directed Schedulingアルゴリズムを用いた非同期式データパス回路合成と効率化の検討(論理合成+高位合成)(VLSIの設計/検証/テスト及び一般)(デザインガイア2004-VLSI設計の新しい大地を考える研究会-)
- C-007 多値1色符号に基づく非同期通信方式とそのネットワークオンチップへの応用(C分野:ハードウェア・アーキテクチャ,一般論文)
- C-036 非同期式ネットワークオンチップの回路レベル検証技術の構築(ハードウェア・アーキテクチャ,一般論文)
- 非同期式回路の検証におけるIivenessクラスに関する考察
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- ハードウェアによるZBDD処理の実現に関する研究
- Net Unfoldingによるタイムペトリネットの効率的解析
- 有限遅延幅モデルにおける非同期式回路の検証について (テストと設計検証論文特集)
- 時間トレース理論に基づく非同期式回路の検証について
- Failure trace解析に基づくGasP回路の形式的検証
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- 星状抽象ペトリネットの解析に関する研究
- ZBDDとpartial order reductionに基づく非同期式回路検証方式について
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- 非同期式回路検証のためのレベル指向モデルとその効率的解析法について
- データパスを含む非同期式回路の検証について
- ZBDDに基づく非同期式回路の検証方式
- ZBDDを用いた検証方式におけるpartial order reductionの適用について
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- 非同期式回路検証器における使用記憶域削減について
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Implementing Fast Boolean QDI Function Blocks
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- Self-Timed Implementation of Boolean Functions
- n 安全タイムペトリネットの発火規則について
- シミュレーションを利用した形式的検証システム
- シミュレーションを利用した形式的検証システム
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 非同期式回路の高位合成について(デペンダブルコンピュータシステム及び一般)
- 非同期式回路の高位合成について(ディペンダブルコンピュータシステム及び一般)
- Partial Order Reductionに基づくTimed回路のsafety/timing failure検出アルゴリズムの効率化について
- 対称性及び抽象化を利用した検証方式の効率化 (テストと設計検証論文特集)
- 正規表現を利用したスケーラブル環状回路の検証
- 正規表現を利用したスケーラブル環状回路の検証
- 対称性及び抽象化を利用した検証方式の効率化
- 制御回路共有化に基づく非同期細粒度パワーゲーティング手法とその応用(実装技術と低消費電力化,デザインガイア2011-VLSI設計の新しい大地-)
- 故障検出機能を有する2色符号とその非同期双方向リンクへの応用(ディペンダブル技術,デザインガイア2011-VLSI設計の新しい大地-)
- 故障検出機能を有する2色符号とその非同期双方向リンクへの応用(ディペンダブル技術,デザインガイア2011-VLSI設計の新しい大地-)
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般論理合成及び高位合成)
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法(微細化対応技術,デザインガイア2011-VLSI設計の新しい大地-)
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法(微細化対応技術,デザインガイア2011-VLSI設計の新しい大地-)
- 制御回路共有化に基づく非同期細粒度パワーゲーティング手法とその応用(実装技術と低消費電力化,デザインガイア2011-VLSI設計の新しい大地-)
- 制御回路共有化に基づく非同期細粒度パワーゲーティング手法とその応用
- 制御回路共有化に基づく非同期細粒度パワーゲーティング手法とその応用
- 故障検出機能を有する2色符号とその非同期双方向リンクへの応用
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法
- 整数線形計画問題に基づいたネットワークオンチップにおけるフォールトトレランスのためのタスクの多重割り当て手法
- 非同期式回路自動合成の高速化について(VLSIの設計/検証/テスト及び一般 論理合成及び高位合成)(デザインガイア2003 -VLSI設計の新しい大地を考える研究会-)
- 有限幅遅延モデルに基づく非同期式回路検証方式とその効率化(ペトリネットの応用特集号)
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて
- ディペンダブルネットワークオンチッププラットフォームによる車載制御の実証に向けて
- 制御情報共有化に基づく非同期細粒度パワーゲーティング技術とそのオンチップルータへの応用(集積エレクトロニクス)
- 制御情報共有化に基づく非同期細粒度パワーゲーティング技術とそのオンチップルータへの応用