file.pdf (25.67 kB)
Download file

EPSL: Executable Protocol Specification Language

Download (25.67 kB)
journal contribution
posted on 01.09.2001, 00:00 authored by Edmund M Clarke, Yuan Lu, Helmut Veith, Dong Wang
The verification of bus protocols, i.e., of communication protocols between hardware devices as in the case of the well-known PCI bus, is a central problem in hardware verification. Although bus protocol design and verification become increasingly important due to the integration of diverse components in IP Core-based designs, even standard bus protocols are usually specified in English which makes specifications often ambiguous, contradictory and certainly non-executable.

History

Publisher Statement

© ACM, 2001. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution.

Date

01/09/2001

Usage metrics

Exports