<?xml version="1.0"?>
<dblp>
<article key="journals/dt/JonesOSAM01" mdate="2004-11-17">
<author>Robert B. Jones</author>
<author>John W. O'Leary</author>
<author>Carl-Johan H. Seger</author>
<author>Mark Aagaard</author>
<author>Thomas F. Melham</author>
<title>Practical Formal Verification in Microprocessor Design.</title>
<pages>16-25</pages>
<year>2001</year>
<volume>18</volume>
<journal>IEEE Design &amp; Test of Computers</journal>
<number>4</number>
<ee>http://doi.ieeecomputersociety.org/10.1109/54.936245</ee>
<url>db/journals/dt/dt18.html#JonesOSAM01</url>
</article>
</dblp>
