Sciweavers

89 search results - page 1 / 18

» dac 2002

8

DAC
2002
ACM

86views Computer Architecture» more DAC 2002»

Efficient state representation for symbolic simulation

14 years 5 months ago

Efficient state representation for symbolic simulation

Download www.eecs.umich.edu

Valeria Bertacco, Kunle Olukotun

claim paper

Read More »

10

DAC
2002
ACM

82views Computer Architecture» more DAC 2002»

A novel wavelet transform based transient current analysis for fault detection and localization

14 years 5 months ago

A novel wavelet transform based transient current analysis for fault detection and localization

Download www.gigascale.org

Swarup Bhunia, Kaushik Roy, Jaume Segura

claim paper

Read More »

12

DAC
2002
ACM

95views Computer Architecture» more DAC 2002»

Can BDDs compete with SAT solvers on bounded model checking?

14 years 5 months ago

Can BDDs compete with SAT solvers on bounded model checking?

Download lcs.ios.ac.cn

Gianpiero Cabodi, Paolo Camurati, Stefano Quer

claim paper

Read More »

10

DAC
2002
ACM

86views Computer Architecture» more DAC 2002»

S-Tree: a technique for buffered routing tree synthesis

14 years 5 months ago

S-Tree: a technique for buffered routing tree synthesis

Download www.cs.uic.edu

Milos Hrkic, John Lillis

claim paper

Read More »

10

DAC
2002
ACM

123views Computer Architecture» more DAC 2002»

Implementing asynchronous circuits using a conventional EDA tool-flow

14 years 5 months ago

Implementing asynchronous circuits using a conventional EDA tool-flow

Download www.bcim.lsbu.ac.uk

Christos P. Sotiriou

claim paper

Read More »

« Prev « First page 1 / 18 Last » Next »