Protocol Verification as a Hardware Design Aid (1992)

Cached

Download Links

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:234 - 27 self