入力名標集合と制御条件を用いたレジスタ転送レベルの設計検証法
スポンサーリンク
概要
- 論文の詳細を見る
ハードウェア記述言語(HDL)による記述中には, 計算機で計算可能な関数として知られている帰納的関数(Churchの提唱)が記述されていると考えられる. このとき, 設計記述が正しいための必要条件として, 仕様記述が表す帰納的関数とこれに対応する設計記述が表す帰納的関数とが等価であることが挙げられる. これらの帰納的関数が等価でない場合, 設計記述には, 演算の誤りが存在すると言われる. しかし, この必要条件を厳密に調べることは困難である. 本論文では, 演算の誤りの一部である, システムの入出力の依存関係の誤りを検出する検証法を提案する. そのために, 本論文では, HDL記述が表すシステムの入力名標の集合と制御条件を用いた"機能"という概念を用いて正しい設計記述について考察する. 本方法は, レジスタ転送レベル(RTL)を対象とした高レベルの検証法である.
- 社団法人電子情報通信学会の論文
- 1996-01-25
著者
-
貴家 仁志
東京都立大学大学院工学研究科
-
内藤 祥雄
東京都立大学電子情報工学科
-
貴家 仁志
東京都立大学 工学部
-
吉田 たけお
東京都立大学工学部
-
貴家 仁志
東京都立大学
-
内藤 祥雄
東京都立大学工学部
関連論文
- RTP 環境下での JPEG2000 画像通信のためのインタリーブ誤り訂正法
- JPEG2000符号列のためのパケット解析器と誤り訂正機能への応用(信号処理,LSI,及び一般)
- A-4-13 JPEG2000符号化列のためのパケット解析器の設計(A-4. ディジタル信号処理)
- ネットワーク映像メディア(メディア情報,映像情報メディア年報)
- JPEG2000符号ストリーム構造を考慮したRTPパケット分割によるストリーミング伝送の高品質化(信号処理,LSI,及び一般)
- JPEG2000符号ストリーム構造を考慮したRTPパケット分割によストリーミング伝送の高品質化(信号処理,LSI,及び一般)
- 部分復号を可能とするウェーブレット逆変換法
- 空間分割ウェーブレット変換における計算冗長性の改善法
- ウェーブレット変換とその応用-II-マルチレート信号処理とウェーブレット変換
- 入力名標集合と制御条件を用いたレジスタ転送レベルの設計検証法
- ADRによるバス上の多重縮退故障のマスク
- 誤り処理要素を特定可能なFFTの効果的構成法
- 2次元DFT周波数サンプリングフィルタ : (FSF)バンクを用いた並列適応フィルタの提案
- マルチレート信号処理とその応用
- 帰納的関数のグラフ表現と設計検証への応用
- A-4-40 周期的巡回性を有する推定手法による非因果的インパルス応答の推定(A-4. ディジタル信号処理)
- 周期的巡回性を有する推定手法による非因果的インパルス応答の推定
- 適応フィルタのためのスクランブル処理を用いた信号の白色化(研究速報)
- 適応フィルタのためのスクランブル処理を用いた信号の白色化
- 適応フィルタのためのスクランブル処理を用いた信号の白色化
- 適応フィルタのためのスクランブル処理を用いた信号の白色化
- エコーキャンセラのためのマルチレート適応フィルタによるタップ位置推定
- エコーキャンセラのためのマルチレート適応フィルタによるタップ位置推定
- A-4-28 ポリフェーズ適応フィルタを用いた適応的遅延推定
- 周波数領域適応フィルタを用いた近似逆システムの一推定法
- A-4-20 遅延の挿入を必要としない適応フィルタの一構成法
- 周波数領域サンプリング定理に基づく時間領域で局在するインパルス応答の同定
- 周波数領域サンプリング定理に基づく時間領域で局在するインパルス応答の同定
- 周波数領域サンプリング定理に基づく時間領域で局在するインパルス応答の同定
- 変換符号化における基底係数のビット数低減法
- ハードウェア構成の簡単なスケーラブルデコーダ
- スケーラブル符号化におけるドリフト誤差低減のための動き補償
- 空間分割ウェーブレット変換における計算冗長性の改善法
- 空間分割ウェーブレット変換における計算冗長性の改善法
- 2種類の低階調画像を用いた動画像の動き推定法(多次元信号処理とその応用・実現論文小特集)
- 消費電力を制御可能な動き検出器とそのVHDLモデル
- MPEG4のための8×8ブロックモード対応の動き検出器のハードウエア構成とそのVHDLモデル
- MPEG4のための8×8ブロックモード対応の動き検出器のハードウエア構成とそのVHDLモデル
- MPEG4のための8×8ブロックモード対応の動き検出器のハードウエア構成とそのVHDLモデル
- 低ビット動き検出のためのメディアンカット量子化器のVLSI構成
- 低ビット動き検出のためのメディアンカット量子化器のVLSI構成
- 低ビット動き検出のためのメディアンカット量子化器のVLSI構成
- D-11-14 MPEG4のための8×8ブロックモード対応の動き検出器の線形アレー構成
- 動画像動き検出における冗長なし全探索処理のハードウェアモデルを用いた評価
- チェス盤ひずみを伴わない2分割QMFバンクとそのラティス構成
- チェス盤歪みを伴わない多次元フィルタバンクについて
- チェス盤歪みを伴わない多次元フィルタバンクについて
- チェス盤歪みを伴わない多次元フィルタバンクについて
- 多次元マルチレートシステムにおけるチェス盤歪みについて
- ラティス構成による多次元直線位相パラユニタリフィルタバンクの設計法
- D-11-14 法演算を用いる高画質電子透かし(D-11. 画像工学A(画像基礎・符号化), 情報・システム2)
- 埋込み係数をブロック毎に変更可能な画質保証型電子透かし法
- 種々の統計分布をもつ透かし系列に適用可能な画質保証型電子透かし法(画像処理,画像パターン認識)
- ハッシュ関数を用いたロスレス電子透かし法とその放送監視への応用
- ハッシュ関数を用いたロスレス電子透かし法とその放送監視への応用(映像メディア及び一般)
- ハッシュ関数を用いたロスレス電子透かし法とその放送監視への応用(映像メディア及び一般)
- 2値透かし系列のための画質保証型電子透かし法(画像処理)
- 透かし系列除去可能な画質保証型電子透かし法とその評価
- 放送監視のための非参照型画像電子透かし法
- 二値透かし系列のための画質保証型電子透かし法(放送,インタネット,モバイルマルチメディアおよび一般)
- J-45 領海毎に画質を保証する非参照型電子透かし法(電子透かし,J.グラフィクス・画像)
- 放送監視のための非参照型電子透かし法の整数系列への拡張
- 放送監視のための画質保証可能な電子透かし法
- 放送監視のための画質保証可能な電子透かし法
- A-4-39 対称周期信号に対する逆システムの存在について
- CAS2000-25 / VLD2000-34 / DSP2000-46 周期信号のための逆システムの存在に関する一考察
- CAS2000-25 / VLD2000-34 / DSP2000-46 周期信号のための逆システムの存在に関する一考察
- CAS2000-25 / VLD2000-34 / DSP2000-46 周期信号のための逆システムの存在に関する一考察
- ラティス構成による多次元直線位相パラユニタリフィルタバンクの設計法
- ラティス構成による多次元直線位相パラユニタリフィルタバンクの設計法
- 下位互換性を考慮したJPEG2000符号化列のためのバースト誤り訂正法
- 公開鍵暗号を用いたJPEG2000と下位互換性を有する画像の高速暗号化法
- 公開鍵暗号を用いたJPEG2000と下位互換性を有する画像の高速暗号化法(映像メディア及び一般)
- 公開鍵暗号を用いたJPEG2000と下位互換性を有する画像の高速暗号化法(映像メディア及び一般)
- MPEG画像のための下位互換性を有するヘッダ情報の誤り訂正法
- MPEG画像のための下位互換性を有するヘッダ情報の誤り訂正法(高精細画像の処理・表示,及び一般)
- MPEG画像のための下位互換性を有するヘッダ情報の誤り訂正法
- JPEG2000符号ストリーム構造を考慮したRTPパケット分割によるストリーミング伝送の高品質化(信号処理,LSI,及び一般)
- DCT領域での画像解像度変換法の等価表現とその一般化処理
- DCT領域での画像解像度変換法の評価とその一般化処理
- DCT領域での画像解像度変換法の評価とその一般化処理
- DCT領域での画像解像度変換法に関する一考察
- DCT領域での画像解像度変換法の評価とその一般化処理
- DFTに基づく超解像法の実演算処理
- JPEG 2000符号化画像のための階層的暗号化法
- DWTを用いた画質保証型電子透かし法
- 非直交変換を用いた画質保証型電子透かし法(衛星を用いる移動体通信,無線通信一般)
- 非直交変換を用いた画質保証型電子透かし法(衛星を用いる移動体通信,無線通信一般)
- 非直交変換を用いた画質保証型電子透かし法(衛星を用いる移動体通信,無線通信一般)
- Motion-JPEG2000符号化画像のための低メモリトランジション処理法
- Motion-JPEG2000符合化画像のための低メモリトランジション処理法(高精細画像の処理・表示,及び一般)
- Motion-JPEG2000符号化画像のための低メモリトランジション処理法
- マーカコードの発生を考慮したJPEG2000符号化画像の情報半開示法(画像処理,画像パターン認識)
- コードブロックサイズを考慮したJPEG2000における効果的なROI法(オフィスにおけるマルチメディア通信および一般)
- コードブロックサイズを考慮したJPEG2000における効果的なROI法
- DS-1-4 拡張されたRTPを用いたJPEG 2000符号化画像の画質監視(DS-1. マルチメディア品質の客観評価/監視法, 情報・システム2)
- 符号化画像のための新しい非参照型電子透かし法の提案
- 符号化画像のための新しい非参照型電子透かし法の提案
- 符号化画像のための新しい非参照型電子透かし法の提案(オフィスにおけるマルチメディア通信/品質及び一般)
- 符号化画像のための新しい非参照型電子透かし法の提案(オフィスにおけるマルチメディア通信/品質及び一般)