論理関数処理に基づく順序回路のテスト生成法
スポンサーリンク
概要
- 論文の詳細を見る
本論文では,論理関数処理に基づく順序回路のテスト生成アルゴリズムSTARを提案する.正常回路と故障回路の積回路(product machine)を考え,状態対の幅優先探索と非明示的な数えあげ手法(implicit stateenumeration)により,テスト生成を行うproduct machine traversal法(PMT法)をもとに,本手法STARでは,順序的深度に基づく幅優先 / 深さ優先の混合探索法,写像計算法の改良,記号単一故障伝搬法による故障差関数の計算などを導入することにより,計算の効率化を図った.ISCAS89ベンチマーク回路に対する実験結果では単純なPMT法に比べて3.0倍の高速化が達成された.
- 社団法人電子情報通信学会の論文
- 1993-06-25
著者
-
白川 功
大阪大学大学院工学研究科情報システム工学専攻
-
白川 功
大阪大学工学部情報システム工学科
-
石浦 菜岐佐
大阪大学大学院工学研究科情報システム工学専攻
-
石浦 菜岐佐
大阪大学工学部情報システム工学科
-
本原 章
松下電器産業(株)
-
崔 〓鎔
大阪大学工学部情報システム工学科
-
小原 隆司
大阪大学工学部情報システム工学科
-
本原 章
松下電器産業株式会社
関連論文
- メディア処理向け再構成可能アーキテクチャでの動画像復号処理の実現(VLSI設計技術とCAD)
- IEEE 802.15.4を用いたホームネットワーク向け無線ネットワークプロトコル(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- データセンターの役割 (特集 データセンター)
- 4相NMOSダイナミックロジック用アレイセル(非線形回路とシステム,及び一般)
- 4相NMOSダイナミックロジック用アレイセル
- 組込み用プロセッサの低消費電力化に関する一手法
- nMOSレベルシフタ回路の性能比較(低消費電力回路,システムオンシリコンを支える設計技術)
- グラウンド平面・シールド配線によるシステム・オン・パネルの配線間容量の低減と容量見積りの容易化(レイアウト設計,システムLSI設計とその技術)
- 領域分割による配線間容量モデル化手法について(通信と非線形特集及び一般)
- 製造ばらつきを考慮したDフリップフロップの性能評価
- 配線間容量モデル化とその評価について
- A-1-8 W-CDMAターボ符号処理向けVLSIアーキテクチャ
- A-1-7 W-CDMA用階層化ディジタルマッチトフィルタ
- フラクタル次元を利用したVLSIレイアウト向きクラスタリング手法
- A-3-15 組込みシステム用実行ファイルの効率的圧縮および実行方法の提案
- 方形パッキング法の一算法
- 最小コストフロー問題の高速解法とそのVLSIコンパクション問題への適用
- MPEG-4動画像符号化向けハイブリッドエラー隠ペい方式
- A-3-8 Bach C 言語による Ogg Vorbis デコーダの VLSI 化設計
- 組み込みCPUと専用回路によるOgg Vorbis音楽デコーダのVLSI化設計
- 組み込みCPUと専用回路によるOgg Vbrbis音楽デコーダのVLSI化設計
- A-3-8 組み込みCPU向けOgg VorbisデコーダのVLSI実装
- メディア処理向け小面積リコンフィギャラブルアーキテクチャ(リコンフィギャラブルアーキテクチャI,デザインガイア2006-VLSI設計の新しい大地を考える研究会)
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 小型LCD駆動回路用タイミングパルス生成回路の自動レイアウトシステム(性能及び製造性考慮物理設計,システムオンシリコンを支える設計技術)
- 製造ばらつきを考慮したDフリップフロップの性能評価
- 無線ホームネットワークにおける消費電力および即時性の改善手法(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- 無線ホームネットワークにおける消費電力および即時性の改善手法(ネットワークプロセッサ,通信のための信号処理,符号理論,一般)
- データセンターの役割
- 医療用監視システムとその通信制御用LSIの設計(電子システムの設計技術と設計自動化)
- 医療用監視システムのための通信制御用LSI
- 医療用監視システムのための通信制御用LSI
- 医療用監視システムのための通信制御用LSI
- 表面弾性波素子を用いた監視システムとその応用
- 顔オブジェクトのリアルタイム抽出アルゴリズム
- 顔オブジェクトのリアルタイム抽出アルゴリズム
- 顔オブジェクトのリアルタイム抽出アルゴリズム
- A-3-4 MPEG-4オーディオデコーダにおけるノイズレス復号器およびスペクトル予測器のVLSI化設計
- マルチスレッドプロセッサのデータキャッシュ制御方式
- 電子透かしのMPEG-4ビットストリームエラー検出への応用
- MPEG-4ビデオ符号化における電子透かしを用いたエラー検出手法
- MPEG-4ビデオ符号化における電子透かしを用いたエラー検出手法
- D-11-38 電子透かしを用いたMPEG-4ビデオ伝送におけるエラー検出方式の検討
- MPEG-4ビデオ伝送に対するエラー隠蔽アルゴリズムおよびアーキテクチャ
- MPEG-4ビデオ伝送に対するエラー隠蔽アルゴリズムおよびアーキテクチャ
- MPEG-4ビデオ伝送に対するエラー隠蔽アルゴリズムおよびアーキテクチャ
- 動き検出を利用したMPEG-4ビデオにおけるエラー隠蔽アルゴリズムの提案
- 動き検出を利用したMPEG-4ビデオにおけるエラー隠蔽アルゴリズムの提案
- 動き検出を利用したMPEG-4ビデオにおけるエラー隠蔽アルゴリズムの提案
- nMOSレベルシフタ回路の性能比較手法について(モデル・回路,組込技術とネットワークに関するワークショップETNET2008)
- 液晶ディスプレイ用サンプリング回路におけるサンプリングパルスとトランジスタサイズの最適設計手法(VLSI設計技術とCAD)
- 液晶ディスプレイ用サンプリング回路の最適性について(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 液晶ディスプレイ用サンプリング回路の最適性について(演算回路/専用回路,システムオンシリコン設計技術並びにこれを活用したVLSI)
- 画素充電率制約を満足する液晶ドライバ回路のトランジスタサイズ決定技術(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 画素充電率制約を満足する液晶ドライバ回路のトランジスタサイズ決定技術(システムオンシリコン設計技術並びにこれを活用したVLSI)
- 配線間容量モデル化とその評価について
- 配線間容量モデル化とその評価について
- 条件分岐制御のあるデータパスのスケジューリング手法
- 映像伝送用高性能ディジタルフィルタのVLSI化設計
- 論理関数処理に基づく順序回路のテスト生成法
- H.263拡張INTRA符号化モードのコーデックとそのVLSIアーキテクチャ
- H.263拡張INTRA符号化モードのコーデックとそのVLSIアーキテクチャ
- 多層プリント回路板の電源供給系におけるインピーダンスシミュレーション(2. 電気設計)(エレクトロニクス実装のためのシミュレーション技術)
- nMOSダイナミック論理を用いた液晶駆動回路の設計手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- nMOSダイナミック論理を用いた液晶駆動回路の設計手法(システムオンシリコン設計技術並びにこれを活用したVLSI)
- データフレーム選択再送手法に基づいた映像伝送システムの設計
- データフレーム選択再送手法に基づいた映像伝送システムの設計
- データフレーム選択再送手法に基づいた映像伝送システムの設計
- 方形パッキング手法によるMMIC向き配置配線手法
- 方形パッキング手法によるMMIC向き配置配線手法
- 方形パッキング法の一算法
- 方形パッキング法の一算法
- 方形パッキング法の一算法
- 組込みシステム向けJava実行環境の構築
- 組込みシステム向けJava実行環境の構築
- 組込みシステム向けJava実行環境の構築
- A-3-12 組込みプロセッサ向けJavaアクセラレータのVLSI化設計
- 携帯端末向け低電力H.263コーデックコアのVLSI化設計
- 再帰的最尤復号アルゴリズムを用いた誤り訂正復号器のVLSI設計
- 再帰的最尤復号アルゴリズムを用いた誤り訂正復号器のVLSI設計
- 再帰的最尤復号アルゴリズムを用いた誤り訂正復号器のVLSI設計
- H.263符号化におけるビットレート制御に関する研究
- A-4-41 MPEG-4リバーシブル可変長復号器のVLSI化設計
- CAS2000-14 / VLD2000-23 / DSP2000-35 MPEG-4向け省面積SA-DCTのVLSI化設計
- CAS2000-14 / VLD2000-23 / DSP2000-35 MPEG-4向け省面積SA-DCTのVLSI化設計
- CAS2000-14 / VLD2000-23 / DSP2000-35 MPEG-4向け省面積SA-DCTのVLSI化設計
- 強誘電体メモリを用いたReconfigurable Logicとその性能評価
- リコンフィグラブルハードウェアを用いた暗号システム(非線形回路とシステム,及び一般)
- リコンフィグラブルハードウェアを用いた暗号システム
- A-4-10 低演算量H.264向け動き検出アルゴリズムTS-MEのVLSI化設計(A-4. ディジタル信号処理)
- A-4-7 リアルタイムJPEG-MPEG-4トランスコーダの実装(A-4. ディジタル信号処理)
- A-4-26 顔領域に基づく携帯端末向けリアルタイム髪オブジェクト抽出
- A-4-4 無線 LAN セキュリティ拡張規格向け暗号処理器のアーキテクチャ
- MPEG-4コア・プロファイル・コーデックのVLSIアーキテクチャ
- MPEG-4コア・プロファイル・コーデックのVLSIアーキテクチャ
- MPEG-4コア・プロファイル・コーデックのVLSIアーキテクチャ
- 次世代GNSS受信機用信号処理機構とそのVLSI化設計(ワイドバンドシステム論文)
- 任意ネットワーク対応オブジェクトコミュニケーション環境(OCEAN)