A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis. - Gernot Koch; Taewhan Kim; Reiner Genevriere (ICCAD, 2000)