Protocol Verification as a Hardware Design Aid (1992)

by D L Dill, A J Drexler, A J Hu, C H Yang
Venue:Proc. IEEE Int. Conf. on Computer Design: VLSI in Computers and Processors, IEEE Computer Society Press, Los Alamitos