IEEE - Institute of Electrical and Electronics Engineers, Inc. - Automatic synthesis of cache-coherence protocol processors using Bluespec

Proceedings. Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design

Author(s): N. Dave ; M.C. Ng ; Arvind
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Verona, Italy
Conference Date: 11 July 2005
Page Count: 10
Page(s): 25 - 34
ISBN (Paper): 0-7803-9227-2
DOI: 10.1109/MEMCOD.2005.1487887
Regular:

There are few published examples of the proof of correctness of a cache-coherence protocol expressed in an HDL. A designer generally shows the correctness of a protocol where many implementation... View More

Advertisement