Automatic synthesis of cache-coherence protocol processors using Bluespec - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nirav Dave, Man Cheuk Ng, Arvind. Automatic synthesis of cache-coherence protocol processors using Bluespec. In 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings. pages 25-34, IEEE, 2005. [doi]

This author has not been identified. Look up 'Nirav Dave' in GoogleThis author has not been identified. Look up 'Man Cheuk Ng' in GoogleThis author has not been identified. Look up 'Arvind' in Google

runs on WebDSL