Barry Baril ASIC Verification: Second Generation Systems and Solutions. 182-189 1986 conf/itc/1986 ITC db/conf/itc/itc1986.html#Baril86