Protocol Verification as a Hardware Design Aid (1992)

by D Dill, A Drexler, A Hu, C Yang
Venue:In Proceedings of the IEEE International Conference on Computer Design : VLSI in Computers and Processors