Automatic synthesis of cache-coherence protocol processors using Bluespec.

Nirav Dave Man Cheuk Ng Arvind

Published in: MEMOCODE (2005)

Keyphrases

parallel algorithm
fully automatic
data driven
lightweight
semi automatic
tcp ip
real time
parallel processing
cryptographic protocols
program synthesis
data sets
neural network