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 proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 2016 Conference on Design, Automation & Test in Europe
Subtitle of host publication	DATE 2016
Publisher	ACM Digital Library
Pages	1640-1645
Number of pages	6
ISBN (Print)	978-3-9815370-6-2
Publication status	Published - 2016

Access to Document

@inproceedings{7e187429b2a24bd390ab70ab7e033541,

title = "ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects",

author = "F. Verbeek and Yaghini, {Pooria M.} and Ashkan Eghbal and Nader Bagherzadeh",

year = "2016",

language = "English",

isbn = "978-3-9815370-6-2",

pages = "1640--1645",

booktitle = "Proceedings of the 2016 Conference on Design, Automation & Test in Europe",

publisher = "ACM Digital Library",

}

ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects. / Verbeek, F.; Yaghini, Pooria M.; Eghbal, Ashkan et al.
Proceedings of the 2016 Conference on Design, Automation & Test in Europe: DATE 2016. ACM Digital Library, 2016. p. 1640-1645.

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

TY - GEN

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

AU - Verbeek, F.

AU - Yaghini, Pooria M.

AU - Eghbal, Ashkan

AU - Bagherzadeh, Nader

PY - 2016

Y1 - 2016

M3 - Conference Article in proceeding

SN - 978-3-9815370-6-2

SP - 1640

EP - 1645

BT - Proceedings of the 2016 Conference on Design, Automation & Test in Europe

PB - ACM Digital Library

ER -