A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis.

Gernot Koch, Taewhan Kim, Reiner Genevriere

Browse the full ICCAD paper archive.