Protocol verification as a hardware design aid (1992)

by D L Dill, A J Drexler, A J Hu, C H Yang
Venue:In IEEE International Conference on Computer Design: VLSI in Computers and Processors