A Compositional Approach for Verifying Protocols Running on On-Chip Networks

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)905-919
Number of pages15
JournalIeee Transactions on Computers
Volume67
Issue number7
DOIs
Publication statusPublished - Jul 2018

Keywords

  • Multiprocessor interconnection networks
  • Formal Verification
  • Routing protocols
  • MODEL CHECKING
  • COHERENCE PROTOCOLS
  • WORMHOLE NETWORKS
  • VERIFICATION
  • ABSTRACTION

Cite this