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

Peter Böhm Tom Melham

Published in: FMCAD (2008)

Keyphrases

communication protocols
functional verification
high speed
formal verification
single chip
decision support
power consumption
communication networks
circuit design