<XML><RECORDS><RECORD><REFERENCE_TYPE>0</REFERENCE_TYPE><REFNUM>6039</REFNUM><AUTHORS><AUTHOR>Jones,R.B.</AUTHOR><AUTHOR>O'Leary,J.W.</AUTHOR><AUTHOR>Seger,C.J.H.</AUTHOR><AUTHOR>Aagaard,M.D.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>2001</YEAR><TITLE>Practical Formal Verification in Microprocessor Design</TITLE><PLACE_PUBLISHED>IEEE Design & Test of Computers, vol 18, No 4 </PLACE_PUBLISHED><PUBLISHER>IEEE</PUBLISHER><PAGES>16-25</PAGES><LABEL>Jones:2001:6039</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>