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
Number of pages6
ISBN (Print)978-3-9815370-6-2
Publication statusPublished - 2016

Cite this