<XML><RECORDS><RECORD><REFERENCE_TYPE>3</REFERENCE_TYPE><REFNUM>6095</REFNUM><AUTHORS><AUTHOR>Birtwistle,G.</AUTHOR><AUTHOR>Joyce,J.</AUTHOR><AUTHOR>Liblong,B.</AUTHOR><AUTHOR>Melham,T.F.</AUTHOR><AUTHOR>Schediwy,R.</AUTHOR></AUTHORS><YEAR>1986</YEAR><TITLE>Specification and {VLSi} Design}</TITLE><PLACE_PUBLISHED>Proceedings of the 1985 {E}dinburgh Workshop on {VSLI} </PLACE_PUBLISHED><PUBLISHER>North-Holland</PUBLISHER><PAGES>83-97</PAGES><LABEL>Birtwistle:1986:6095</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>