Affiliation:
1. Department of Mathematics and Computer Science, Shimane University
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Subject
Applied Mathematics,Electrical and Electronic Engineering,Computer Graphics and Computer-Aided Design,Signal Processing
Reference12 articles.
1. [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. [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. [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. [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. [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
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献