<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6091</REFNUM><AUTHORS><AUTHOR>Birtwistle,G.</AUTHOR><AUTHOR>Graham,B.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Schediwy,B.</AUTHOR></AUTHORS><YEAR>1988</YEAR><TITLE>Hardware Verification by Formal Proof</TITLE><PLACE_PUBLISHED>Proceedings of the Candadian Conference on Electrical and Computer Engineering </PLACE_PUBLISHED><PUBLISHER>Canadian Society for Electrical Engineering</PUBLISHER><PAGES>379-384</PAGES><LABEL>Birtwistle:1988:6091</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>