Protocol Verification as a Hardware Design Aid (1992)

by David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang
Venue:IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS