Transaction Based Modeling and Verification of Hardware Protocols.

Xiaofang Chen, Steven M. German, Ganesh Gopalakrishnan

Browse the full FMCAD paper archive.