DMCA
Protocol Verification as a Hardware Design Aid (1992)
| Venue: | IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS |
| Citations: | 274 - 27 self |
BibTeX
@INPROCEEDINGS{Dill92protocolverification,
author = {David L. Dill and Andreas J. Drexler and Alan J. Hu and C. Han Yang},
title = {Protocol Verification as a Hardware Design Aid},
booktitle = {IN IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS},
year = {1992},
pages = {522--525},
publisher = {IEEE Computer Society}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The role of automatic formal protocol verification in hardware design is considered. Principles are identified that maximize the benefits of protocol verification while minimizing the labor and computation required. A new protocol description language and verifier (both called Mur') are described, along with experiences in applying them to two industrial protocols that were developed as part of hardware designs.
