113
click to vote
ASPDAC
10 years 18 days 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...
105
click to vote
ASPDAC
10 years 18 days 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...
101
click to vote
ASPDAC
10 years 18 days 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...
100
click to vote
ASPDAC
10 years 18 days 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...
ASPDAC
10 years 18 days ago
2015 ACM 
– This paper presents a small area, low power, fully synthesizable PLL with a current output DAC and an interpolative-phase coupled oscillator using edge injection technique for ...
|
Hardware