<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>7525</REFNUM><AUTHORS><AUTHOR>O'Donnell,J.T.</AUTHOR></AUTHORS><YEAR>2004</YEAR><TITLE>Integrating Formal Methods with Digital Circuit Design in Hydra (Abstract)</TITLE><PLACE_PUBLISHED> ETAPS 2004, Designing Correct Circuits </PLACE_PUBLISHED><PUBLISHER>N/A</PUBLISHER><LABEL>O'Donnell:2004:7525</LABEL><KEYWORDS><KEYWORD>Hardware description</KEYWORD></KEYWORDS<ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>