A Survey of Hybrid Techniques for Functional Verification

	This Article
	Subscribers, please Login Purchase article: $19 PDF HTML IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Jayanta Bhadra Articles by Magdy S. Abadir Articles by Li-C. Wang Articles by Sandip Ray

March-April 2007 (vol. 24 no. 2)

pp. 112-122

	ASCII Text	x
	Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray, "A Survey of Hybrid Techniques for Functional Verification," IEEE Design and Test of Computers, vol. 24, no. 2, pp. 112-122, March-April, 2007.

	BibTex	x
	@article{ 10.1109/MDT.2007.30, author = {Jayanta Bhadra and Magdy S. Abadir and Li-C. Wang and Sandip Ray}, title = {A Survey of Hybrid Techniques for Functional Verification}, journal ={IEEE Design and Test of Computers}, volume = {24}, number = {2}, issn = {0740-7475}, year = {2007}, pages = {112-122}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2007.30}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Design and Test of Computers TI - A Survey of Hybrid Techniques for Functional Verification IS - 2 SN - 0740-7475 SP112 EP122 EPD - 112-122 A1 - Jayanta Bhadra, A1 - Magdy S. Abadir, A1 - Li-C. Wang, A1 - Sandip Ray, PY - 2007 KW - functional verification KW - hybrid KW - formal techniques KW - informal techniques VL - 24 JA - IEEE Design and Test of Computers ER -

Jayanta Bhadra, Freescale Semiconductor

Magdy S. Abadir, Freescale Semiconductor

Li-C. Wang, University of California, Santa Barbara

Sandip Ray, University of Texas at Austin

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MDT.2007.30

The increasing size and complexity of industry hardware designs, along with stringent time-to-market requirements, have put a heavy burden on verification to ensure that designs are relatively bug free. A general theme successfully adopted by academia and several vendors is to apply multiple verification techniques so that they complement one another, resulting in an increase of the verification tool's overall effectiveness. Such integration must be carried out delicately and precisely so that the overall technique becomes more than merely a sum of the techniques. This article surveys the research that has taken place in this area.

Index Terms:

functional verification, hybrid, formal techniques, informal techniques

Citation:

Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray, "A Survey of Hybrid Techniques for Functional Verification," IEEE Design and Test of Computers, vol. 24, no. 2, pp. 112-122, June 2007, doi:10.1109/MDT.2007.30

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.