file.pdf (25.67 kB)
EPSL: Executable Protocol Specification Language
journal contribution
posted on 2001-09-01, 00:00 authored by Edmund M Clarke, Yuan Lu, Helmut Veith, Dong WangThe 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.