DAC
2010
ACM
13 years 10 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
DAC
2010
ACM
13 years 10 months ago
2010
ACM
The goals for the
DAC
1987
ACM
13 years 11 months ago
1987
ACM
DAC
1987
ACM
13 years 11 months ago
1987
ACM
DAC
1989
ACM
13 years 11 months ago
1989
ACM
We present an accurate and efficient method for extraction of parasitic capacitances in submicron integrated circuits. The method uses a 3-D finite element model in which the cond...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
In this paper, we revisit the classical problem of functional decomposition [1, 2] that arises so often in logic synthesis. One basic problem that has remained largely unaddressed...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
-- In previous work, Hu and Dill identified a common cause of BDD-size blowup in high-level design verification and proposed the method of implicitly conjoined invariants to addres...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
Regarding nite state machines as Markov chains facilitates the application of probabilistic methods to very large logic synthesis and formal veri cation problems. Recently, we ha...
DAC
1991
ACM
13 years 11 months ago
1991
ACM
DAC
1991
ACM
13 years 11 months ago
1991
ACM
