Formal hardware specification languages for protocol compliance verification

Annette Bunker, Ganesh Gopalakrishnan, Sally A. Mckee
2004 ACM Transactions on Design Automation of Electronic Systems  
The advent of the system-on-chip and intellectual property hardware design paradigms makes protocol compliance verification increasingly important to the success of a project. One of the central tools in any verification project is the modeling language, and we survey the field of candidate languages for protocol compliance verification, limiting our discussion to languages originally intended for hardware and software design and verification activities. We frame our comparison by first
more » ... ting a taxonomy of these languages, and then by discussing the applicability of each approach to the compliance verification problem. Each discussion includes a summary of the development of the language, an evaluation of the language's utility for our problem domain, and, where feasible, an example of how the language might be used to specify hardware protocols. Finally, we make some general observations regarding the languages considered.
doi:10.1145/966137.966138 fatcat:hffgv4stqnhlxohm4ojyuu3lfq