A Refinement Approach to Design and Verification of On-Chip Communication Protocols.

Peter Bhm, Tom Melham

Browse the full FMCAD paper archive.