Functional Verification of Large ASICs. - Adrian Evans; Allan Silburt; Gary Vrckovnik; Thane Brown; Mario Dufresne; Geoffrey Hall; Tung Ho; Ying Liu (DAC, 1998)