A Framework for Incremental Modelling and Verification of On−Chip Protocols

Arguing formally about the correctness of on-chip communication protocols is an acknowledged verification challenge. We present a generic framework that tackles this problem using an incremental approach that interleaves model construction and verification. Our protocol models are based on abstract...