Steve Casselman John Schewel Christophe Beaumont IP Validation for FPGAs using Hardware Object Technology<sup>TM</sup>. 624- 1999 conf/ipps/1999 IPPS/SPDP http://computer.org/proceedings/ipps/0143/01430624abs.htm db/conf/ipps/ipps1999.html#CasselmanSB99