DocumentCode :
3712406
Title :
A methodology to generate evenly distributed input stimuli by clustering of variable domain
Author :
M. P. Jomu George;O. Ait Mohamed
Author_Institution :
ECE Department Concordia University
fYear :
2015
Firstpage :
605
Lastpage :
612
Abstract :
Constrained Random Verification (CRV) is becoming the mainstream methodology for the functional verification of complex System on Chip (SoC) designs. In order to achieve verification closure, CRV tools have to produce a large number of solutions, evenly distributed, in the search space. To attain this requirement, we propose a technique which analyzes the solution space by using consistency algorithm and splits the variable´s domain into clusters. The proposed technique helps to generate input stimuli which are evenly distributed in search space. The proposed technique has been validated through experimental results. Experimental results show that the proposed methodology guarantees evenly distributed stimuli and improves by about 15% the veriication coverage.
Keywords :
"Algorithm design and analysis","Hardware","Data structures","Boolean functions","Input variables","Clustering algorithms","Computer bugs"
Publisher :
ieee
Conference_Titel :
Computer Design (ICCD), 2015 33rd IEEE International Conference on
Type :
conf
DOI :
10.1109/ICCD.2015.7357171
Filename :
7357171
Link To Document :
بازگشت