A Framework for Incremental Modelling and Verification of On−Chip Protocols
In Proceedings of the Tenth Conference on Formal Methods in Computer Aided Design (FMCAD'10). October, 2010.
8 pages‚ to appear
Incremental and Verified Modelling of the PCI Express Protocol
In IEEE Transactions on Computer−aided Design of Integrated Circuits and Systems. 2010.
14 pages‚ to appear
A Refinement Approach to Design and Verification of On−Chip Communication Protocols
Peter Böhm and Tom Melham
In Proceedings of the Eighth Conference on Formal Methods in Computer−Aided Design (FMCAD'08). Pages 136–143. IEEE Computer Society. November, 2008.