電子情報通信学会論文誌　VOL.82-DI No.7 July 1999

テストと設計検証論文特集

　テストと設計検証論文特集の発行にあたって
		…山田輝彦　　789

論　　文
〔設計検証〕
　記号モデル検証システムSMVにおける像計算
		…平石裕実　　791

　対称性及び抽象化を利用した検証方式の効率化
		…戸島弘詩　米田友洋　　799

　信号変化生起条件判定に基づくタイミング検証の高速化
		…大西　淳　杉山裕二　　812

　有限遅延幅モデルにおける非同期式回路の検証について
		…周　　斌　米田友洋　　819

　入力の一部が不明である場合の論理関数のハードウェアを用いた評価法
		…井口幸洋　笹尾　勤　松浦宗寛　伊勢野総　　834

〔テスト容易化設計〕
　完全故障検出効率を保証するデータパスの非スキャンテスト容易化設計法
		…和田弘樹　増澤利光　Kewal K. Saluja　藤原秀雄　　843

　BIST向け検査点挿入方式における遅延・面積オーバヘッドの低減
		…中尾教伸　小林誠治　畠山一実　飯島一彦　寺田聖二　　852

〔テスト生成および圧縮〕
　テスト数制限下でのテスト入力集合の選択手法について
		…市原英行　梶原誠司　樹下行三　　861

　時間展開モデルを用いた無閉路順序回路のテスト系列圧縮方法
		…細川利典　井上智生　平岡敏洋　藤原秀雄　　869

　順序回路のブリッジ故障に対するIDDQテストのための静的なテスト系列圧縮法
		…樋上喜信　Kewal K. Saluja　高松雄三　樹下行三　　879

〔故障モデルとテスト技法〕
　論理回路における遅延テスト不要パスの高速導出法
		…梶原誠司　樹下行三　イリス ポメランツ　スダーカ M.レディ　　888

　欠陥検出率向上のための一論理故障モデルの提案
		…桑　浚之　篠木　剛　高瀬治彦　北　英彦　林　照峯　　897

　CMOS SRAMICの書込み時静的電源電流による論理故障検出法
		…橋爪正樹　為貞建臣　小山　健　A.J. van de Goor　　906

　ルーチングマトリクスを有するFPGAの配線領域の検査法
　		…道西博行　横平徳美　岡本卓爾　　916


〔故障診断〕
　ゲート遅延故障シミュレーションを用いた単一ゲート遅延故障の一診断法
		…高橋　寛　クワメ オセイ ボアテン　高松雄三　　925

　故障シミュレーションとEBテスタテストパターン系列を利用した組合せ回路のEBテスタ
　故障位置特定アルゴリズム
		…中前幸治　石村貴志　藤岡　弘　　933

　IDDQを用いた，多様なリーク電流を有するCMOSLSIの故障診断
		…真田　克　藤岡　弘　　940

〔オンラインテスト〕
　ファジーコントローラのオンラインテストに関する一考察
		…上浦尚武　畑　　豊　　950

レ タ ー
　IDDQテストを対象としたテスト系列の圧縮法
		…前田敏行　樹下行三　　958

　FFTプロセッサの同時故障検出
		…角山正博　今井博英　樺沢辰也　　962

　トリー状結合高並列プロセッサの再構成による高信頼化とそのアレー状レイアウト
		…上浦尚武　中野澄人　畑　　豊　　966


--------------------------------------------------------

英文論文誌紹介(IEICE Transactions on Information and Systems)…　　968
複写される方へ…　　969