@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{holcomb-dac11,
  author    = {Daniel Holcomb and Bryan Brady and Sanjit A. Seshia},
  title     = {Abstraction-Based Performance Analysis of {NoC}s},
 booktitle = "Proceedings of the Design Automation Conference (DAC)", 
 pages = "492--497", 
 month = "June", 
 year = "2011",
  Abstract = {We present an approach to formally analyze quality-of-service (QoS) 
 properties of network-on-chip (NoC) designs. To tackle industrial-scale
 designs, we adopt an abstraction-based approach, where only
 the nodes of interest in the network are precisely modeled and the
 rest of the network is abstracted away as sources and sinks of traffic.
 We give an automatic technique to infer a traffic model, comprising
 formal models of sources and sinks, from simulation traces derived
 from software benchmarks. Experimental results demonstrate that
 the inferred models generalize well and that our abstraction-based
 approach can accurately verify industrial-scale NoC designs.},
}