Gary Catlin, Bill Paseman: Hardware acceleration of logic simulation using a data flow microarchitecture. MICRO 1985: 117-123