Nirav Dave Man Cheuk Ng Arvind Automatic synthesis of cache-coherence protocol processors using Bluespec. 25-34 2005 conf/memocode/2005 MEMOCODE http://dx.doi.org/10.1109/MEMCOD.2005.1487887 db/conf/memocode/memocode2005.html#DaveNA05