89 search results - page 8 / 18 » dac 2002 |
105
click to vote
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We present a framework for passivity-preserving model reduction for RLC systems that includes, as a special case, the well-known PRIMA model reduction algorithm. This framework pr...
157
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper describes the verification of two versions of a bridge between two on-chip buses. The verification was performed just as the Infineon Technologies Design Centre in Bris...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
This paper presents an optimal voltage synthesis technique for a satellite application to maximize system performance subject to energy budget. A period of a satellite's orbi...
90
Voted
DAC
2002
ACM
16 years 1 months ago
2002
ACM
We propose a false-path-aware statistical timing analysis framework. In our framework, cell as well as interconnect delays are assumed to be correlated random variables. Our tool ...