Verifying pipelined hardware using symbolic logic simulation (1989)

by S Bose, A L Fisher
Venue:International Coference on Computer Design