Freek Verbeek, Pooria M. Yaghini, Ashkan Eghbal, Nader Bagherzadeh
ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects
DATE, 2016.
@inproceedings{DATE-2016-VerbeekYEB,
author = "Freek Verbeek and Pooria M. Yaghini and Ashkan Eghbal and Nader Bagherzadeh",
booktitle = "{Proceedings of the 20th Conference and Exhibition on Design, Automation and Test in Europe}",
ee = "http://ieeexplore.ieee.org/document/7459575/",
isbn = "978-3-9815-3707-9",
pages = "1640--1645",
publisher = "{IEEE}",
title = "{ADVOCAT: Automated deadlock verification for on-chip cache coherence and interconnects}",
year = 2016,
}