The Community for Technology Leaders
Green Image
Issue No. 04 - July/August (2003 vol. 20)
ISSN: 0740-7475
pp: 4-14
Ravi Hosabettu , Sun Microsystems
Mandayam Srivas , Media Lab Asia
Ganesh Gopalakrishnan , University of Utah
<p><div><em>Editor's note: </em></div>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.<div><em>—?Carl Pixley, Synopsys</em></div></p>
Ravi Hosabettu, Mandayam Srivas, Ganesh Gopalakrishnan, "A Practical Methodology for Verifying Pipelined Microarchitectures", IEEE Design & Test of Computers, vol. 20, no. , pp. 4-14, July/August 2003, doi:10.1109/MDT.2003.1214347
101 ms
(Ver 3.3 (11022016))