Verifying pipelined hardware using symbolic logic simulation (1989)

by S Bose, A Fisher
Venue:In Proceedings of the IEEE Conference on Computer Design