3 search results - page 1 / 1 » Analog circuit behavioral modeling via wavelet collocation m... |
ASPDAC
2004
ACM
13 years 10 months ago
2004
ACM
- In this paper, we propose an auto-companding technique for the analog behavioral modeling via wavelet collocation method. The companding function is automatically constructed acc...
ICCAD
2001
IEEE
14 years 1 months ago
2001
IEEE
ICCAD
2009
IEEE
13 years 2 months ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...