Loading...
Please wait, while we are loading the content...
Similar Documents
Abstraction-Based Performance Analysis of NoCs
Content Provider | Semantic Scholar |
---|---|
Author | Holcomb, Daniel E. Brady, Bryan A. Seshia, Sanjit A. |
Copyright Year | 2011 |
Abstract | Wepresentanapproachtoformallyanalyzequality-of-service(QoS) properties of network-on-chip (NoC) designs. To tackle industrialscale 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. |
File Format | PDF HTM / HTML |
Alternate Webpage(s) | https://people.eecs.berkeley.edu/~sseshia/pubdir/dac11-noc.pdf |
Alternate Webpage(s) | http://www.eecs.berkeley.edu/~sseshia/pubdir/dac11-noc.pdf |
Language | English |
Access Restriction | Open |
Content Type | Text |
Resource Type | Synopsis |