ACL2-Based Verification of NoC Communication Infrastructures
ACL2-Based Verification of NoC Communication Infrastructures
ACL2-Based Verification of NoC Communication Infrastructures
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Formal <strong>Verification</strong>• State <strong>of</strong> the art:Model checking and/or theorem provingtechniques used to verify instances <strong>of</strong>networks or protocols• Ge<strong>NoC</strong> is a generic model for reasoningabout <strong>NoC</strong>s general framework7