IEEE - Institute of Electrical and Electronics Engineers, Inc. - Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Author(s): Freek Verbeek ; Pooria M. Yaghini ; Ashkan Eghbal ; Nader Bagherzadeh
Sponsor(s): IEEE Comput. Soc. Tech. Committee on Distributed Process
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 February 2017
Volume: 66
Page(s): 272 - 284
ISSN (Paper): 0018-9340
DOI: 10.1109/TC.2016.2584060
Regular:

Cache coherence plays a major role in manycore systems. The verification of deadlocks is a challenge in particular, because deadlock freedom is an emerging property. Formal methods often decouple... View More

Advertisement