An efficient logic emulation system. - Joseph Varghese; Michael Butts; Jon Batcheller (IEEE Trans. Very Large Scale Integr. Syst., 1993)