The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.04 - July/August (2003 vol.20)
pp: 4-14
Ravi Hosabettu , Sun Microsystems
Ganesh Gopalakrishnan , University of Utah
Mandayam Srivas , Media Lab Asia
ABSTRACT
<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>
CITATION
Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam Srivas, "A Practical Methodology for Verifying Pipelined Microarchitectures", IEEE Design & Test of Computers, vol.20, no. 4, pp. 4-14, July/August 2003, doi:10.1109/MDT.2003.1214347
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool