ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects

F. Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of the 2016 Conference on Design, Automation & Test in Europe
Subtitle of host publicationDATE 2016
PublisherACM Digital Library
Pages1640-1645
Number of pages6
ISBN (Print)978-3-9815370-6-2
Publication statusPublished - 2016

Cite this

Verbeek, F., Yaghini, P. M., Eghbal, A., & Bagherzadeh, N. (2016). ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. In Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016 (pp. 1640-1645). ACM Digital Library. https://dl.acm.org/citation.cfm?id=2971808.2972190