132
click to vote
ASPDAC
10 years 2 months ago
2015 ACM 
Abstract— We address the problem of formally verifying nonlinear analog circuits with an uncertain initial set by computing their reachable set. A reachable set contains the unio...
122
click to vote
ASPDAC
10 years 2 months ago
2015 ACM 
—Power consumption is becoming more critical in modern integrated circuit (IC) designs and clock network is one of the major contributors for on-chip power. Resonant clock has be...
121
click to vote
ASPDAC
10 years 2 months ago
2015 ACM 
- Accurately estimating the rare failure rates for nanoscale memory circuits is a challenging task, especially when the variation space is high-dimensional. In this paper, we summa...
120
click to vote
ASPDAC
10 years 2 months ago
2015 ACM
- An approach using a minimum cost maximum flow algorithm is proposed for fault-tolerant topology reconfiguration in a Network-on-Chip system. Topology reconfiguration is converted...
120
click to vote
ASPDAC
10 years 2 months ago
2015 ACM
—System-Level Design Languages (SLDL) allow component-oriented specifications, e.g. for separating computation and communication. This separation allows for a flexible model co...
|
Hardware