<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>5785</REFNUM><AUTHORS><AUTHOR>Aagaard,M.D.</AUTHOR><AUTHOR>Jones,R.B.</AUTHOR><AUTHOR>O'Leary,J.W.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>A Methodology for Large-Scale Hardware Verification</TITLE><PLACE_PUBLISHED>Proceedings of 3rd Intl. Conference, FMCAD 2000, (Formal Methods in Computer-Aided Design). (Hunt, W.A. Jr and Johnson, S.D. Eds.). Lecture Notes in Computer Science, Volume No 1954 </PLACE_PUBLISHED><PUBLISHER>Springer Verlag</PUBLISHER><PAGES>263-282</PAGES><ISBN>0302-9743</ISBN><LABEL>Aagaard:2000:5785</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>