Even Distribution Evaluation in Random Stimulus Generation

DOI

10.2991/jcis.2008.21How to use a DOI?

Keywords

Random stimulus generation, design verification, even distribution, SAT

Abstract

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.

Copyright

© 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/).

Download article (PDF)

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  -