Abstract
We describe a method to increase design verification coverage by guiding simulation using random input sequences. The simulation control algorithm is inspired by genetic optimization algorithms. The optimization criteria are the activation counts of various property checkers, each being concerned with a specific function of the design. Experimental results on an RTL Verilog design of some 6000 equivalent gates show that the same property coverage as in pure random simulation with uniform distributions can be achieved with half the number of simulation vectors, or, conversely, with the same number of input vectors the activation count is roughly doubled. Similar results were obtained on a 800 K gate design
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Silburt, “Invited Lecture: ASIC/System Hardware Verification at Nortek A View from the Trenches”, Proceeding of the 9th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME’97), Montreal, October, 1997.
A.J. Camilleri. “A role for Theorem Proving in Multi-processor Design”, Proceeding of the 10th International Conference on Computer Aided Verification (CAV’98),Vancouver, June/July 1998.
D.L.Dill, “What’s Between Simulation and Formal Verification”, Proceeding of the 35th Design Automation Conference (DAC’98), San Francisco, CA, USA, June 1998.
FormalCheck User’s Guide. Bell labs Design Automation, Lucent Technologies, V1. 1, 1997
K. L. McMillan, “Symbolic model checking - an approach to the state explosion problem”, Ph.D. thesis, SCS, Carnegie Mellon University, 1992. ( Also Cadence Design Systems, www pages. )
0-In Design Automation, Inc., “Whitebox verification,” http://www.0-in.com/tools.
0-In Design Automation, Inc., “0-In search,” http://www.0-in.com/tools.
l System Science, Inc. (Synopsys, Inc.), “The VERA verification system,” http://www.systems.com/products/vera.
Verisity Design, Inc., “Spec-man: Spec-based approach to automate functional verification,” http://www.verisity.com.
TransEDA, Inc., “VeriSure- Verilog code coverage tool,” http://www.transeda.com/products.
Lucent Technologies,”FormalCheck model checker,” http://www.belllabs.com/orgiblda/product.formal.html.
P. Bratley, B.L. Fox, L.E. Schrage, A Guide to Simulation, 2nd Edition, Springer-Verlag, New York, 1986.
L. Devroye, Non-Uniform Random Variate Generation, Springer-Verlag, New York, 1986.
CheckOff User Guide, Siemens Nixdorf Informations Systemen AG & Abstract Hardware Limited, January, 1996.
Lambda user’s manual, Abstract Hardware Limited, 1995.
E. M. Rudnick, G.S. Greenstein, “A Genetic Algorithm Framework for Test Generation”, IEEE Transaction on Computer-Aided Design of Integrated Circuits and System. Vol. 1, No. 9. September 1997
F. Corno, P. Prinetto, M. Rebaudengo, M. Sonza Reorda. “GATTO: A Genetic Algorithm for
Automatic Test Generation for Large Synchronous Sequential Circuits”. IEEE Transaction on Computer-Aided Design Networking, Vol. CAD-15, No. 8, August 1996.
M. Baldi, F. Corno, M. Rebaudengo, P. Prinetto, M. Sonza Reorda, G. Squillero, “Verification of Correctness and Performance of Network Protocols via Simulation-Based Techniques”, Conference on Correct Hardware Design and Verification Methods (CHARME’97), Montreal, Canada, October 1997.
E. Alba, J. M. Troya, “Genetic Algorithms for Protocol Validation”, Proceedings of the 4th conference on Parallel Problem Solving (PPSN IV ), Berlin, Germany, September 1996.
Goldberg, D. E., Genetic Algorithms, in Search, Optimization and Machine Learning, Addison-Wesley, 1989.
W. Canfield, E. A. Emerson, A. Saha., “Checking Formal Specifications under Simulation”, International Conference on Computer Design (ICCD’1997), Austin, Texas, October 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Faye, P., Cerny, E. (2001). Improved Design Verification by Random Simulation Guided by Genetic Algorithms. In: Ashenden, P.J., Mermet, J.P., Seepold, R. (eds) System-on-Chip Methodologies & Design Languages. Springer, Boston, MA. https://doi.org/10.1007/978-1-4757-3281-8_8
Download citation
DOI: https://doi.org/10.1007/978-1-4757-3281-8_8
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-4901-1
Online ISBN: 978-1-4757-3281-8
eBook Packages: Springer Book Archive