Reprogrammable gate arrays for hardware accelerated IC design verification. - Jeffrey A. Dickson; Bing Liu; Alan W. Ptak; Robert D. McLeod (Microprocess. Microsystems, 1990)