A framework for incremental modelling and verification of on-chip protocols.

Peter Bhm

Browse the full FMCAD paper archive.