Protocol verification as a hardware design aid
David L. Dill, Andreas J. Drexler, Alan J. Hu, Congguang Yang · 2003
The role of automatic formal protocol verification in hardware design is considered. Principles that maximize the benefits of protocol verification while minimizing the labor and computation required are identified. A novel protocol description language and verifier (both called Mur phi ) are described, along with experiences in applying them to two industrial protocols that were developed as part of hardware designs.>