A Refinement Approach to Design and Verification of On-Chip Communication Protocols
doi 10.1109/fmcad.2008.ecp.22
Full Text
Open PDFAbstract
Available in full text
Date
November 1, 2008
Authors
Publisher
IEEE
Available in full text
November 1, 2008
IEEE