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 |
| Citations: | 217 - 25 self |
Document Versions
| Protocol Verification as a Hardware Design Aid –David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang — 1992 — IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS |
