Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Freek Verbeek; Pooria M. Yaghini; Ashkan Eghbal; Nader Bagherzadeh

doi:10.1109/TC.2016.2584060

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Freek Verbeek^*, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh

^*Corresponding author for this work

Research Line Resilience (part of LIRS program)

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Web of Science)

Original language	English
Pages (from-to)	272-284
Number of pages	13
Journal	Ieee Transactions on Computers
Volume	66
Issue number	2
DOIs	https://doi.org/10.1109/TC.2016.2584060
Publication status	Published - Feb 2017

Keywords

Cache coherence
formal verification
deadlock freedom
communication networks

Access to Document

10.1109/TC.2016.2584060

Cite this

@article{0b56466e429a44f999459376c9724bf0,

title = "Deadlock Verification of Cache Coherence Protocols and Communication Fabrics",

keywords = "Cache coherence, formal verification, deadlock freedom, communication networks",

author = "Freek Verbeek and Yaghini, {Pooria M.} and Ashkan Eghbal and Nader Bagherzadeh",

year = "2017",

month = feb,

doi = "10.1109/TC.2016.2584060",

language = "English",

volume = "66",

pages = "272--284",

journal = "Ieee Transactions on Computers",

issn = "0018-9340",

publisher = "IEEE COMPUTER SOC",

number = "2",

}

TY - JOUR

T1 - Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

AU - Verbeek, Freek

AU - Yaghini, Pooria M.

AU - Eghbal, Ashkan

AU - Bagherzadeh, Nader

PY - 2017/2

Y1 - 2017/2

KW - Cache coherence

KW - formal verification

KW - deadlock freedom

KW - communication networks

U2 - 10.1109/TC.2016.2584060

DO - 10.1109/TC.2016.2584060

M3 - Article

SN - 0018-9340

VL - 66

SP - 272

EP - 284

JO - Ieee Transactions on Computers

JF - Ieee Transactions on Computers

IS - 2

ER -

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

Keywords

Access to Document

Fingerprint

Cite this