Art

J-GLOBAL ID：201802236261837304   Reference number：18A1417130

Applying an SMT Solver to Coverage-Driven Design Verification

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

Author (1)： HAMAGUCHI Kiyoharu (Department of Mathematics and Computer Science, Shimane University)
Material： IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Web)  (IEICE Trans Fundam Electron Commun Comput Sci (Web))
Volume： E101.A  Issue： 7  Page： 1053-1056(J-STAGE)  Publication year： 2018 
JST Material Number： U0466A  ISSN： 1745-1337  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *program verification ,  *verification ,  *application program ,  simulation ,  electronic circuit ,  coding (signal) ,  *solver ,  electronic circuit simulation
Semi thesaurus term： RTL ,  SAT coding ,  *coverage ,  *design verification

Author keywords (5)： RTL verification ,  coverage-driven verification ,  SAT solver ,  SMT solver ,  automated testbench

JST classification (2)： Theory of computation  (JB02000A) ,  Computer simulation  (JE11000H)

Reference (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

Terms in the title (4)： カバレッジ ,  設計検証 ,  SMT ,  ソルバー