文献

J-GLOBAL ID：201702254469476534   整理番号：17A1834733

制御フロー経路ガイダンスを用いた高速探索に基づくRTLテスト生成【Powered by NICT】

Fast Search-Based RTL Test Generation Using Control-Flow Path Guidance

著者 (2件)： Pinto Sonal ,  Hsiao Michael S.
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： ICCD  ページ： 399-402  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,発見的に選択されたシステム状態から出発して高効率半径方向探索を系統的にレジスタ転送レベル(RTL)設計のための機能的テスト生成法を提案した。テスト生成の間に,軽量計装を施した経路を追跡し,異なるまたはユニークな実行を可能にした試験を分類した。我々のアプローチは,最も調査されていない経路を標的とする発見的,枝を最大化しようとする単純方法が達した。はこのような経路周辺の探査に沿った試験努力を指示に全体的に高い分岐カバレッジを得た。ユニークな経路を探索木の形で表現した。最も調査されていない経路をカバーする試験を識別するパス指向選択基準は探索木から最良の次の出発状態を選択する。著者らの研究は限られた探索ベースアプローチを用いた到達困難な状態の検査,高価な正規又は準正規の制約ベースの方法よりもむしろを生成できることを目的として設計した。ITC’99とIWLS2005からベンチマーク上での実験結果は,この方法が高被覆率を達成する短期試験を急速に生成することを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *高速度 ,  選択基準 ,  被覆率 ,  半径方向 ,  ベンチマーク
準シソーラス用語： 探索木 ,  カバレッジ【プログラム検証】 ,  軽量 ,  レジスタ転送レベル ,  高効率 ,  *テスト生成 ,  *制御フロー , 【Automatic Indexing@JST】

分類 (5件)： 集積回路一般  (NC03161C) ,  計算機システム開発  (JD02010R) ,  人工知能  (JE08000Z) ,  汎用プログラミング言語  (JD03051H) ,  CAD,CAM  (JE10000A)

タイトルに関連する用語 (6件)： 制御フロー ,  経路 ,  ガイダンス ,  高速探索 ,  RTL ,  テスト生成