文献

J-GLOBAL ID：201802262988035133   整理番号：18A0190014

有界モデル検査を用いたネットワークオンチップのソフトウェアベースオンライン自己テスト【Powered by NICT】

Software-based online self-testing of network-on-chip using bounded model checking

著者 (4件)： Zhang Ying (The School of Software Engineering, Tongji University, Shanghai) ,  Chakrabarty Krishnendu (Duke University, NC, USA) ,  Li Huawei (Institute of Computing Technology, Chinese Academy of Sciences, China) ,  Jiang Jianhui (The School of Software Engineering, Tongji University, Shanghai)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ITC  ページ： 1-10  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： オンライン試験は,ネットワークオンチップ(NoC)相互接続ファブリックに基づくメニーコアシステムの信頼性のある運転を確保するために重要である。有界モデル検査(BMC)に基づくソフトウェアベースオンラインNoC自己試験解を提示した。提案した方法は,最初のスライスした拡張有限状態機械にBMCを実装し,NoC関数を励起するために必要な先導配列を抽出した。次に,拘束されたATPGを通したリーダー配列により励起された各関数内の構造欠陥を標的とする。最後に,試験プロトコルが試験応答を観測するために開発した。実験結果は,提案した方法が機能的モードで高い故障検出率を達成し,以前に提案された解よりも優れていることを示した。添加では,故障検出率はフルスキャン試験,が,面積オーバヘッド無しに非常に近かった。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： プロトコル ,  故障検出 ,  有限状態機械 ,  信頼性 ,  相互接続 ,  *モデル検査
準シソーラス用語： オーバヘッド ,  構造欠陥 ,  ATPG ,  *オンライン ,  *ネットワークオンチップ ,  *有界 , 【Automatic Indexing@JST】

分類 (4件)： 計算理論  (JB02000A) ,  通信網  (ND07030A) ,  固体デバイス計測・試験・信頼性  (NC03040G) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (5件)： 有界 ,  モデル検査 ,  ネットワークオンチップ ,  自己 ,  テスト