Gernot Koch Taewhan Kim Reiner Genevriere A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis. 33-38 2000 conf/iccad/2000 ICCAD db/conf/iccad/iccad2000.html#KochKG00