Sciweavers

181 search results - page 1 / 37

» dac 2005

13

DAC
2005
ACM

93views Computer Architecture» more DAC 2005»

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

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

8

DAC
2005
ACM

96views Computer Architecture» more DAC 2005»

SEU tolerant device, circuit and processor design

13 years 7 months ago

SEU tolerant device, circuit and processor design

Download www.cecs.uci.edu

William Heidergott

claim paper

Read More »

9

DAC
2005
ACM

121views Computer Architecture» more DAC 2005»

N-detection under transparent-scan

13 years 7 months ago

N-detection under transparent-scan

Download www.cecs.uci.edu

Irith Pomeranz

claim paper

Read More »

13

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?

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

9

DAC
2005
ACM

95views Computer Architecture» more DAC 2005»

Frequency-based code placement for embedded multiprocessors

14 years 6 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 »