ASPDAC
9 years 9 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...
79
Voted
ASPDAC
9 years 9 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...
74
Voted
ASPDAC
9 years 9 months ago
2015 ACM 
The high performance demand of embedded systems along with restrictive thermal design power (TDP) constraint have lead to the emergence of the heterogenous multi-core architecture...
74
Voted
ASPDAC
9 years 9 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...
73
Voted
ASPDAC
9 years 9 months ago
2015 ACM
Early stage power estimation is critical for SoC architecture exploration and validation in modern VLSI design, but realtime, long time interval and accurate estimation is still c...
|
Hardware