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