Deadlock Verification of Cache Coherence Protocols and Communication Fabrics

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

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)272-284
Number of pages13
JournalIeee Transactions on Computers
Volume66
Issue number2
DOIs
Publication statusPublished - Feb 2017

Keywords

  • Cache coherence
  • formal verification
  • deadlock freedom
  • communication networks

Cite this

Verbeek, Freek ; Yaghini, Pooria M. ; Eghbal, Ashkan ; Bagherzadeh, Nader. / Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. In: Ieee Transactions on Computers. 2017 ; Vol. 66, No. 2. pp. 272-284.
@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 = "2",
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",

}

Deadlock Verification of Cache Coherence Protocols and Communication Fabrics. / Verbeek, Freek; Yaghini, Pooria M.; Eghbal, Ashkan; Bagherzadeh, Nader.

In: Ieee Transactions on Computers, Vol. 66, No. 2, 02.2017, p. 272-284.

Research output: Contribution to journalArticleAcademicpeer-review

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

VL - 66

SP - 272

EP - 284

JO - Ieee Transactions on Computers

JF - Ieee Transactions on Computers

SN - 0018-9340

IS - 2

ER -