Journal
2015 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI
Volume -, Issue -, Pages 573-578Publisher
IEEE
DOI: 10.1109/ISVLSI.2015.26
Keywords
test generation; swarm; hybrid algorithm
Ask authors/readers for more resources
Generating high quality test sequences for complex digital circuits is known to be extremely challenging. In this paper, we introduce a test generation algorithm using Binary Particle Swarm Optimization (BPSO) to generate high-quality test sequences that achieve high branch coverage in short execution times for synthesizable RTL designs. Initially, a global search is conducted using Binary Particle Swarm Optimization which is later supported by a controlled graphical search method to reach target corner cases. The controlled search uses the control-flow graph to provide hints at critical points in the state space to reach hard corner cases. The fast convergence of BPSO allows the proposed method to deliver high coverage while generating short final test sequences. Substantial speedups over the state of the art methods have also been achieved.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available