A Practical Methodology for Verifying Pipelined Microarchitectures

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/MDT.2003.1214347

July/August 2003 (vol. 20 no. 4) pp. 4-14

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	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 Ravi Hosabettu Articles by Ganesh Gopalakrishnan Articles by Mandayam Srivas

	ASCII Text	x
	Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas, "A Practical Methodology for Verifying Pipelined Microarchitectures," IEEE Design and Test of Computers, vol. 20, no. 4, pp. 4-14, July/August, 2003.

	BibTex	x
	@article{ 10.1109/MDT.2003.1214347, author = {Ravi Hosabettu and Ganesh Gopalakrishnan and Mandayam Srivas}, title = {A Practical Methodology for Verifying Pipelined Microarchitectures}, journal ={IEEE Design and Test of Computers}, volume = {20}, number = {4}, issn = {0740-7475}, year = {2003}, pages = {4-14}, doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2003.1214347}, 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 Practical Methodology for Verifying Pipelined Microarchitectures IS - 4 SN - 0740-7475 SP4 EP14 EPD - 4-14 A1 - Ravi Hosabettu, A1 - Ganesh Gopalakrishnan, A1 - Mandayam Srivas, PY - 2003 VL - 20 JA - IEEE Design and Test of Computers ER -

Ravi Hosabettu, Sun Microsystems

Ganesh Gopalakrishnan, University of Utah

Mandayam Srivas, Media Lab Asia

Editor's note:

Complete formal verification has thus far never been achieved for a state-of-the-art, high-performance commercial microprocessor. However, this article presents a completion functions methodology, based on theorem proving, that has been applied successfully to a large variety of example pipelined architectures.

—?Carl Pixley, Synopsys

Citation:

Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas, "A Practical Methodology for Verifying Pipelined Microarchitectures," IEEE Design and Test of Computers, vol. 20, no. 4, pp. 4-14, July/Aug. 2003, doi:10.1109/MDT.2003.1214347

Peer Review Notice | Give Us Feedback

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