Sciweavers

107 search results - page 2 / 22

» dac 2000

105

Voted

DAC
2000
ACM

83views Computer Architecture» more DAC 2000»

Reliable verification using symbolic simulation with scalar values

15 years 7 months ago

Reliable verification using symbolic simulation with scalar values

Download www.eecs.umich.edu

Chris Wilson, David L. Dill

claim paper

Read More »

97

DAC
2000
ACM

118views Computer Architecture» more DAC 2000»

Improved fault diagnosis in scan-based BIST via superposition

16 years 3 months ago

Improved fault diagnosis in scan-based BIST via superposition

Download cseweb.ucsd.edu

Ismet Bayraktaroglu, Alex Orailoglu

claim paper

Read More »

67

Voted

DAC
2000
ACM

102views Computer Architecture» more DAC 2000»

Bus encoding for low-power high-performance memory systems

16 years 3 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 »

87

Voted

DAC
2000
ACM

101views Computer Architecture» more DAC 2000»

Removing user specified false paths from timing graphs

15 years 7 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 »

81

Voted

DAC
2000
ACM

104views Computer Architecture» more DAC 2000»

Optimizing sequential verification by retiming transformations

15 years 7 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 »