A refinement approach to design and verification of on-chip communication protocols (2008)

by P Böhm, T Melham
Venue:In Formal Methods in Computer-Aided Design (FMCAD’08). IEEE Computer Society