Sciweavers

169

Voted

DAC
2002
ACM

134views Computer Architecture» more DAC 2002»

Congestion-driven codesign of power and signal networks

16 years 8 months ago

Download www.ece.umn.edu

Haihua Su, Jiang Hu, Sachin S. Sapatnekar, Sani R....

claim paper

Read More »

169

Voted

DAC
2002
ACM

116views Computer Architecture» more DAC 2002»

A factorization-based framework for passivity-preserving model reduction of RLC systems

16 years 8 months ago

Download cobweb.ecn.purdue.edu

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...

Q. Su, Venkataramanan Balakrishnan, Cheng-Kok Koh

claim paper

Read More »

216

click to vote

DAC
2002
ACM

123views Computer Architecture» more DAC 2002»

Implementing asynchronous circuits using a conventional EDA tool-flow

16 years 8 months ago

Download www.bcim.lsbu.ac.uk

Christos P. Sotiriou

claim paper

Read More »

204

click to vote

DAC
2002
ACM

148views Computer Architecture» more DAC 2002»

Deriving a simulation input generator and a coverage metric from a formal specification

16 years 8 months ago

Download chicory.stanford.edu

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...

Kanna Shimizu, David L. Dill

claim paper

Read More »

131

click to vote

DAC
2002
ACM

98views Computer Architecture» more DAC 2002»

RTL c-based methodology for designing and verifying a multi-threaded processor

16 years 8 months ago