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

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

Browse the full DATE paper archive.