Protocol verification as a hardware design aid (1992)

by D L Dill, A J Drexler, A J Hu, C H Yang
Venue:In Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer &Amp; Processors, ICCD ’92