高位検証における等価論理式への変換手法について(システムオンシリコン設計技術並びにこれを活用したVLSI)
スポンサーリンク
概要
- 論文の詳細を見る
近年のLSIの集積規模の増大とともに,C言語などの高位レベルでのハードウェア設計手法の適用が始まりつつあり,同時に高位レベルの検証手法に対する要求が高まっている.高位レベルでは,シミュレーション自体も高速となることが知られているが,シミュレーションで完全に正当性を検証することは不可能に近いので,機能の最適化などでは等価検証が必要とされる.そこで本稿では,高位レベルの等価検証に着目し,等価論理に基づくCVC (Cooperating Validity Checker)を用いたC/Verilog記述の検証手法を提案する.具体的には,C/Verilogの記述をCVCの式に変換し,その等価性をCVCを用いて検証する手法である.生成されたCVC式の処理では,生成手法により検証時間が大きく異なるので,ここではいくつかの変換手法を提案してその影響を確認する.
- 社団法人電子情報通信学会の論文
- 2006-03-02
著者
関連論文
- ALUアレイベースのリコンフィギュラブルプロセッサによるソフトウェア無線機(技術展示/ポスター展示,技術展示,ポスター展示,無線信号処理実装,一般)
- ALU間接続を制限したALUアレイによるリコンフィギュラブルプロセッサの検討(アーキテクチャ, FRGAとその応用及び一般)
- A-3-16 ALU間接続に制限のあるALUアレイによるリコンフィギュラブルプロセッサの検討(A-3. VLSI設計技術)
- カーチューナ向けリコンフィギュラブルアーキテクチャ(リコンフィギャラブルアーキテクチャ2)
- Automatic clock gating generation through power-optimal control signal selection (VLSI設計技術)
- キャリーチェインを用いたマルチオペランド加算器のFPGA向け低電力合成手法
- 自動クロックゲーティング生成における電力最適化制御信号選択手法
- ALU間接続を制限したALUアレイによるリコンフィギュラブルプロセッサの検討(アーキテクチャ, FRGAとその応用及び一般)
- ALU間接続を制限したALUアレイによるリコンフィギュラブルプロセッサの検討(アーキテクチャ, FRGAとその応用及び一般)
- FPGAを対象とした部分積加算回路の合成について(プロセッサ,システムLSIの応用と要素技術,プロセッサ,DSP,画像処理技術及び一般)
- FPGAを対象とした部分積加算回路の合成について(プロセッサ,システムLSIの応用と要素技術,プロセッサ,DSP,画像処理技術及び一般)
- FPGAを対象とした部分積加算回路の合成について(プロセッサ,システムLSIの応用と要素技術,プロセッサ,DSP,画像処理技術及び一般)
- 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価
- 8C45 ことばによる手話単語の記述と三次元表現
- キャリーチェインを用いたマルチオペランド加算器のFPGA向け低電力合成手法 (リコンフィギャラブルシステム)
- キャリーチェインを用いたマルチオペランド加算器のFPGA向け低電力合成手法 (コンピュータシステム)
- キャリーチェインを用いたマルチオペランド加算器のFPGA向け低電力合成手法 (VLSI設計技術)
- 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化(検証・理論, 組込技術とネットワークに関するワークショップ)
- 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化
- 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化(検証・理論, 組込技術とネットワークに関するワークショップ)
- マルチステージクロックゲーテイングにおけるクロック制御回路の共有について(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
- マルチステージクロックゲーティングにおけるクロック制御回路の共有について(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
- 自動パイプライン化を用いた FPGA におけるプロトタイピングの高速化
- 簡易高位合成を用いたカスタマイズ可能なハードウェア/ソフトウェア分割評価手法(高位合成及び検証,信号処理,LSI,及び一般)
- 簡易高位合成を用いたカスタマイズ可能なハードウェア/ソフトウェア分割評価手法(高位合成及び検証,信号処理,LSI,及び一般)
- 簡易高位合成を用いたカスタマイズ可能なハードウェア/ソフトウェア分割評価手法(高位合成及び検証,信号処理,LSI,及び一般)
- スイッチング確率を考慮したprefix graph合成手法の改良について(合成及び演算器最適化,システム設計及び一般)
- スイッチング確率を考慮したprefix graph合成手法の改良について(システム設計及び一般)
- Lingのキャリー計算に基づくparallel prefix adder合成について(論理・レイアウト最適化,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- Lingのキャリー計算に基づくparallel prefix adder合成について(論理・レイアウト最適化,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- Lingのキャリー計算に基づくparallel prefix adder合成について(論理・レイアウト最適化,デザインガイア2007-VLSI設計の新しい大地を考える研究会-)
- 回路変更を用いたプロトタイプ設計検証における高速化(検証)
- 回路変更を用いたプロトタイプ設計検証における高速化(検証)
- 回路変更を用いたプロトタイプ設計検証における高速化(検証,組込技術とネットワークに関するワークショップETNET2007)
- 回路変更を用いたプロトタイプ設計検証における高速化(検証,組込技術とネットワークに関するワークショップETNET2007)
- 動的命令変更機構を持つ組み込み向けJavaプロセッサの設計と評価
- 自動パイプライン化を用いたFPGAにおけるプロトタイピングの高速化
- 動画像処理向け高速公開鍵暗号LSIアーキテクチャ(セキュリティ・暗号1, 組込技術とネットワークに関するワークショップ)
- 動画像処理向け高速公開鍵暗号LSIアーキテクチャ
- 動画像処理向け高速公開鍵暗号 LSI アーキテクチャ(セキュリティ・暗号1, 組込技術とネットワークに関するワークショップ)
- 抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用(システム設計及び一般)
- 抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用(システム設計および一般)
- 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価
- 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価(FPGAとその応用及び一般)
- A-3-25 論理関数の重ね合わせに基づく加減算向きLUT
- A-3-4 リング発振器を用いたオンチップ高速シリアル通信方式
- 動的再構成可能配線について(FPGA・低消費電力設計・システムレベル合成,システム設計及び一般)
- 動的再構成可能配線について(FPGA・低消費電力設計・システムレベル合成,システム設計及び一般)
- 一般化並列カウンタを用いたマルチオペランド加算器合成問題のILPによる定式化 (VLSI設計技術)
- CCTomato : CMOS論理セルの特性抽出ツールの開発
- CCTomato : CMOS論理セルの特性抽出ツールの開発
- CCTomato : CMOS論理セルの特性抽出ツールの開発
- プロセッサにおける配線の再構成可能性の利用について(FPGAとその応用及び一般)
- プロセッサにおける配線の再構成可能性の利用について(FPGAとその応用及び一般)
- プロセッサにおける配線の再構成可能性の利用について(FPGAとその応用及び一般)
- 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 浮動小数点演算と演算チェイニングを考慮した粗粒度再構成可能ハードウェア(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 高位検証における等価論理式への変換手法について(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 高位検証における等価論理式への変換手法について(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 一般化並列カウンタを用いたマルチオペランド加算器合成問題のILPによる定式化(論理設計,システム設計及び一般)
- 論理素子の制御値に基づく多段のパワーゲーティング(論理設計,システム設計及び一般)
- A-3-8 メモリを用いた算術演算回路のFPGA実現とその電力評価(A-3.VLSI設計技術,一般セッション)
- A-3-10 状態遷移の解析に基づく書込み制御回路の検討(A-3.VLSI設計技術,一般セッション)
- 状態遷移の解析に基づく磁気フリップフロップ書き込み制御手法(システム設計,システム設計及び一般)
- 最大ハミング距離を制限した符号とこれを用いた不揮発メモリの書き込み削減手法(システムと信号処理及び一般)