Sciweavers

107 search results - page 2 / 22

» dac 2000

11

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

13 years 10 months ago

Reliable verification using symbolic simulation with scalar values

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

14

DAC
2000
ACM

118views Computer Architecture» more DAC 2000»

Improved fault diagnosis in scan-based BIST via superposition

14 years 6 months ago

Improved fault diagnosis in scan-based BIST via superposition

Download cseweb.ucsd.edu

Ismet Bayraktaroglu, Alex Orailoglu

claim paper

Read More »

10

DAC
2000
ACM

102views Computer Architecture» more DAC 2000»

Bus encoding for low-power high-performance memory systems

14 years 6 months ago

Bus encoding for low-power high-performance memory systems

Download elpl.snu.ac.kr

Naehyuck Chang, Kwanho Kim, Jinsung Cho

claim paper

Read More »

16

DAC
2000
ACM

101views Computer Architecture» more DAC 2000»

Removing user specified false paths from timing graphs

13 years 10 months ago

Removing user specified false paths from timing graphs

Download www.cs.york.ac.uk

David Blaauw, Rajendran Panda, Abhijit Das

claim paper

Read More »

16

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

Optimizing sequential verification by retiming transformations

13 years 10 months ago

Optimizing sequential verification by retiming transformations

Download www.cs.york.ac.uk

Gianpiero Cabodi, Stefano Quer, Fabio Somenzi

claim paper

Read More »

« Prev « First page 2 / 22 Last » Next »