80
Voted
ASPDAC
9 years 8 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...
74
Voted
ASPDAC
9 years 8 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...
69
Voted
ASPDAC
9 years 8 months ago
2015 ACM 
Abstract—A cross-layer framework (spanning device and circuit levels) is presented for designing robust and energy-efficient SRAM cells, made of deeply-scaled FinFET devices. In...
69
Voted
ASPDAC
9 years 8 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...
69
Voted
ASPDAC
9 years 8 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...
|
Hardware