Hardware Emulation for Functional Verification of K5. - Gopi Ganapathy; Ram Narayan; Glenn Jorden; Denzil Fernandez; Ming Wang; Jim Nishimura (DAC, 1996)