Specification and formal verification of interconnect bus protocols
Lubomir Ivanov, R. Nunna · 2002
In this paper, we apply a formal verification framework based on partial orders to verify the timing behaviors of communication/interconnect protocols such as Handshaking and PCI. Our methodology aims to reduce the high complexity of the algorithms incorporated in first-generation verification tools.