160
click to vote
ASPDAC
10 years 3 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...
156
click to vote
ASPDAC
10 years 3 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...
152
click to vote
ASPDAC
10 years 3 months 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 ...
152
click to vote
ASPDAC
10 years 3 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...
150
click to vote
ASPDAC
10 years 3 months ago
2015 ACM
Abstract—The emerging nonvolatile memory (NVM) technology can potentially change the landscape of future IC designs with numerous benefits, such as high performance, low leakage...
|