DesignTest^TM: A Solution to the Problems of ASIC Verification. - Don Allingham; Pat Bashford; Mike Peters; Dean Vendl (ITC, 1989)