Even Distribution Evaluation in Random Stimulus Generation
Zhiqiu Kong1, Shujun Deng, Jinian Bian, Yanni Zhao
1EDA Lab, Computer Science department, Tsinghua University
Available Online December 2008.
- 10.2991/jcis.2008.21How to use a DOI?
- Random stimulus generation, design verification, even distribution, SAT
This paper has two contributions: First is to analyze the entropy evaluation for random stimulus generation in one paper of DATE 2008; second is to present better methods to evaluate the solutions’ even distribution for random stimulus generation. An evaluation strategy called min-distance-sum takes the solution space as a ring and calculates the adjacent solutions’ distances. Experimental results for SAT and circuit benchmarks showed that our method can evaluate the even degree better than entropy, and also prove that the XOR-based method can improve the distribution of solutions for random stimulus generation.
- © 2008, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Zhiqiu Kong AU - Shujun Deng AU - Jinian Bian AU - Yanni Zhao PY - 2008/12 DA - 2008/12 TI - Even Distribution Evaluation in Random Stimulus Generation BT - Proceedings of the 11th Joint Conference on Information Sciences (JCIS 2008) PB - Atlantis Press SP - 120 EP - 125 SN - 1951-6851 UR - https://doi.org/10.2991/jcis.2008.21 DO - 10.2991/jcis.2008.21 ID - Kong2008/12 ER -