Adrian Evans Allan Silburt Gary Vrckovnik Thane Brown Mario Dufresne Geoffrey Hall Tung Ho Ying Liu Functional Verification of Large ASICs. 650-655 1998 DAC http://doi.acm.org/10.1145/277044.277210 db/conf/dac/dac98.html#EvansSVBDHHL98