Sciweavers

181 search results - page 1 / 37

» dac 2005

88

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

Streamline verification process with formal property verification to meet highly compressed design cycle

15 years 4 months ago

Streamline verification process with formal property verification to meet highly compressed design cycle

Download videos.dac.com

Prosenjit Chatterjee

claim paper

Read More »

88

Voted

DAC
2005
ACM

96views Computer Architecture» more DAC 2005»

SEU tolerant device, circuit and processor design

15 years 4 months ago

SEU tolerant device, circuit and processor design

Download www.cecs.uci.edu

William Heidergott

claim paper

Read More »

87

Voted

DAC
2005
ACM

121views Computer Architecture» more DAC 2005»

N-detection under transparent-scan

15 years 4 months ago

N-detection under transparent-scan

Download www.cecs.uci.edu

Irith Pomeranz

claim paper

Read More »

92

DAC
2005
ACM

81views Computer Architecture» more DAC 2005»

Can we really do without the support of formal methods in the verification of large designs?

15 years 4 months ago

Can we really do without the support of formal methods in the verification of large designs?

Download videos.dac.com

Umberto Rossi

claim paper

Read More »

90

DAC
2005
ACM

95views Computer Architecture» more DAC 2005»

Frequency-based code placement for embedded multiprocessors

16 years 3 months ago

Frequency-based code placement for embedded multiprocessors

Download www.coreygoldfeder.com

Corey Goldfeder

claim paper

Read More »

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