Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques

	This Article
	PDF HTML 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

Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques (HTML)

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

pp. 110-111

	ASCII Text	x
	Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, "Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques," IEEE Design and Test of Computers, vol. 24, no. 2, pp. 110-111, March-April, 2007.

	BibTex	x
	@article{ 10.1109/MDT.2007.45, author = {Jayanta Bhadra and Magdy S. Abadir and Li-C. Wang}, title = {Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques}, journal ={IEEE Design and Test of Computers}, volume = {24}, number = {2}, issn = {0740-7475}, year = {2007}, pages = {110-111}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2007.45}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - MGZN JO - IEEE Design and Test of Computers TI - Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques IS - 2 SN - 0740-7475 SP110 EP111 EPD - 110-111 A1 - Jayanta Bhadra, A1 - Magdy S. Abadir, A1 - Li-C. Wang, PY - 2007 KW - hybrid technique KW - functional validation KW - simulation KW - formal verification 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

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

Hybrid techniques are effective for exploring interesting corner cases, coverage holes, invariant variations, and so forth, in the general area of directed functional validation. However, despite the emergence of several effective hybrid validation techniques, several questions still remain. The five articles in this special issue help explain some of the different facets of this area.

Index Terms:

hybrid technique, functional validation, simulation, formal verification

Citation:

Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, "Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques," IEEE Design and Test of Computers, vol. 24, no. 2, pp. 110-111, June 2007, doi:10.1109/MDT.2007.45

Peer Review Notice | Give Us Feedback

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