文献

J-GLOBAL ID：201802236261837304   整理番号：18A1417130

カバレッジ駆動型設計検証へのSMTソルバーの適用

Applying an SMT Solver to Coverage-Driven Design Verification

著者 (1件)： HAMAGUCHI Kiyoharu (Department of Mathematics and Computer Science, Shimane University)
資料名： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web)  (IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web))
巻： E101.A  号： 7  ページ： 1053-1056(J-STAGE)  発行年： 2018年 
JST資料番号： U0466A  ISSN： 1745-1337  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 英語 (EN)

抄録/ポイント： ハードウェア設計,特にレジスタ転送レベル(RTL)設計のシミュレーションベースの検証は広く使用されており,設計プロセスの主要なボトルネックの1つである。アプローチの1つは,カバレッジ駆動型検証であり,その目標は,カバレッジと呼ばれるいくつかのメトリックの改善である。従来の研究では,ランダムに生成されたシミュレーションパターンとSAT(充足可能性)ソルバによって生成されたパターンの両方を使用してカバレッジ駆動検証を提案し,その有効性を示した。本論文は,整数,浮動小数点またはビットベクトル変数間の算術的関係を扱うことができるSMT(充足可能性モジュロ理論)ソルバを用いてこのアプローチを拡張した。実験結果は,より多くの算術モジュールが含まれるほど,SMTベースの方法がSATソルバのみを使用する方法より優れていることを示した。(翻訳著者抄録)

シソーラス用語： *プログラム検証 ,  *検証 ,  *応用プログラム ,  シミュレーション ,  電子回路 ,  符号化 ,  *ソルバ ,  電子回路シミュレーション
準シソーラス用語： RTL ,  SAT符号化 ,  *カバレッジ【プログラム検証】 ,  *設計検証

著者キーワード (5件)： RTL検証 ,  カバレージ駆動検証 ,  SATソルバ ,  SMTソルバ ,  自動テストベンチ

分類 (2件)： 計算理論  (JB02000A) ,  計算機シミュレーション  (JE11000H)

引用文献 (12件)：

• [1] Y. Kakiuchi and K. Hamaguchi, “Coverage-driven design verification using a diverse SAT solver,” IEICE Trans. Fundamentals, vol.E100-A, no.7, pp.1481-1487, July 2017. 10.1587/transfun.e100.a.1481
• [2] S. Yang, R. Wille, and R. Drechsler, “Determining cases of scenarios to improve coverage in simulation-based verification,” Symp. on Integrated Circuits and System Design, 2014. 10.1145/2660540.2660979
• [3] S. Yang, R. Wille, D. Große, and R. Drechsler, “Coverage-driven stimuli generation,” EUROMICRO Symp. on Digital System Design, pp.525-528, 2012. 10.1109/dsd.2012.37
• [4] S.M. Plaza, I.L. Markov, and V. Bertacco, “Toggle: A coverage-guided random stimulus generator,” Int'l Workshop on Logic Synthesis, pp.35-1357, 2007.
• [5] S. Shyam and V. Bertacco, “Distance-guided hybrid verification with GUIDO,” Proc. conference on Design, automation and test in Europe, pp.1211-1216, 2006. 10.1109/date.2006.244050

タイトルに関連する用語 (4件)： カバレッジ ,  設計検証 ,  SMT ,  ソルバー