Hardware acceleration of logic simulation using a data flow microarchitecture. - Gary Catlin; Bill Paseman (MICRO, 1985)