複雑化するASICの設計と検証(2) : ASICの自動論理検証手法
スポンサーリンク
概要
- 論文の詳細を見る
大規模化・複雑化する一方であるLSIの検証においては、人手パターンだけではもはや十分なカバレッジは達成できない。しかしながらLSIが設計通りに製造されたかどうかの検証は自動化が進んでいる一方、設計自体の正当性をチェックする論理検証は設計者が作成するテストパターンに頼らざるを得ないのが現状である。この問題を解決するために、今回我々が行った自動論理検証の手法について報告する。
- 社団法人電子情報通信学会の論文
- 1997-03-06
著者
-
飯塚 剛
三菱電機株式会社 情報技術総合研究所
-
飯塚 剛
三菱電機(株)情報技術総合研究所
-
佐伯 稔
三菱電機
-
志賀 稔
三菱電機(株)情報技術総合研究所
-
志賀 稔
三菱電機株式会社情報技術総合研究所
-
佐伯 稔
三菱電機株式会社 情報技術総合研究所
-
飯塚 剛
三菱電機(株)情報電子研究所
-
佐伯 稔
三菱電機株式会社
-
佐伯 稔
三菱電機(株)情報技術総合研究所
-
飯塚 剛
三菱電機株式会社
-
志賀 稔
三菱電機 情報技総研
関連論文
- 遷移確率を考慮したDPA対策手法の提案
- D-6-1 VMware性能評価(D-6.コンピュータシステムA(アーキテクチャ),一般講演)
- Webシステムの性能評価に関する一手法(システム性能評価)
- 通信遅延を低減したプロセッサ間通信機構の提案
- PIM/mフロントエンド・プロセッサの速度性能評価
- サーバ仮想化技術を利用した障害試験自動化手法の提案
- サーバ仮想化技術を利用した障害試験自動化手法の提案
- 2A-3 リソース利用状況を考慮した仮想計算機予備イメージ管理手法(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-2 仮想化技術を利用した異常処理試験自動化手法 : 試験開始状態の復元(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 2A-1 仮想化技術を利用した異常処理試験自動化手法 : 状態情報収集方式(仮想化技術(1),一般セッション,アーキテクチャ,情報処理学会創立50周年記念)
- ME400のグラフィック・エンジン(2) : ファームウェア方式と性能評価
- ME400のグラフィック・エンジン(1) : ハードウエア方式
- 接点電流の制御によるディジタル入力装置の低消費電力化
- 非同期回路の品質評価方法
- 仮想マシンのオーバヘッドおよび負荷評価方法の提案
- D-10-6 OSSを利用した非共有ディスク型HAクラスタにおける復旧時のダウンタイム短縮方式の提案(D-10. ディペンダブルコンピューティング,一般セッション)
- B-011 仮想マシン環境におけるゲストの設定容易化方式(ソフトウェア,一般論文)
- 1H-4 仮想マシンXen^1の制御システムへの適用(画像・制御の情報システムへの応用,一般セッション,コンピュータと人間社会)
- ユビキタスセキュリティ技術 (特集2 ユビキタスアクセスネットワーク技術)
- B-9-7 センサーノートにおける動的電力制御方式(B-9. 電子通信エネルギー技術)
- C-12-4 動的部分リコンフィギュレーションによるメモリ制御方式
- C-12-16 センサーネットワークノードの低消費電力化方式
- B-14-12 待機用リソース制御方式の検討(B-14.情報通信マネジメント,一般セッション)
- B-035 PCサーバ用Linuxのリアルタイム性能評価(B分野:ソフトウェア,一般論文)
- リアルタイムシステム向け高速シリアルバス方式
- D-6-2 低電力マイクロプロセッサの命令セット
- D-6-7 動的周波数/電圧制御によるプロセッサの低電圧力方式
- D-6-4 CompactPCI活線挿抜におけるノイズ低減方式とその解析
- デジタル回路基板の耐ノイズ性能向上方式
- D-6-16 拡張性を有する制御装置のH/W試験プログラム方式
- B-5-19 バッファキャッシュを利用したRFIDタグ読み込み(B-5.無線通信システムA(移動通信),一般講演)
- B-5-18 UHF帯RFIDの課題と対策(6) : RFIDリーダ/ライタ装置仮想化方式(B-5.無線通信システムA(移動通信),一般講演)
- 950MHz帯RFID技術とその応用 (特集 近距離無線/無線LANシステム)
- 情報分電盤に向けた分散データ管理方法の提案(セッション1B 分散処理)
- PCIデバイスのコンフィギュレーション方式 : ハードウェアリソース有効利用のためのアルゴリズム
- 複雑化するASICの設計と検証(2) : ASICの自動論理検証手法
- 複雑化するASICの設計と検証(1) : 市販ソフトコアを使用した論理設計/合成事例
- データマスクを利用したDPA対策に対する攻撃
- DPAのリークモデル構築と論理シミュレーションによる評価
- 遷移確率を考慮したDPA対策手法の提案
- データマスクを利用したDPA対策に対する攻撃
- DPAのリークモデル構築と論理シミュレーションによる評価
- UNIXワークステーションにおけるディスク・アクセス特性とディスク・キャッシュの考察
- B-8-27 ATM-PON光アクセス制御回路の構成
- A-1-46 プラントコントローラにおけるラインノイズの解析と対策
- D-3-1 共有メモリトレースツールの試作(D-3.ソフトウェアサイエンス,一般セッション)
- 仮想計算機の同期保存・復元手法
- 仮想化技術を用いた二重系動作環境同期機構
- 仮想計算機の同期保存・復元手法
- 仮想化技術を用いた二重系動作環境同期機構
- セミ64ビットRISCプロセッサの方式検討
- 火力発電所向け監視システムにおける先進技術
- D-10-2 自己診断機能によるディスク故障検出・通知方式(D-10.ディペンダブルコンピューティング,一般セッション)
- 三菱エンジニアリングワ-クステ-ション"MEシリ-ズ" (ワ-クステ-ション)
- キャッシュ性能測定の一手法と考察
- 火力発電所における省エネルギー・保守/管理サービスの最新技術 (特集2 新しい発電方式,発電事業と新技術)
- マルチプロセッサシステムにおけるプロセッサの誤り検出法
- BI-1-2 サイドチャネル攻撃と最近の研究動向(BI-1.安全・安心な情報通信会社を実現する電磁情報セキュリティ評価・対策技術,依頼シンポジウム,ソサエティ企画)