A Methodology for Verifying Memory Access Protocols in Behavioral Synthesis.

Gernot Koch Taewhan Kim Reiner Genevriere

Published in: ICCAD (2000)

Keyphrases

memory access
data access
pairwise
shared memory
memory management
search engine
data sources
nearest neighbor
signal processing
parallel processing
external memory