Sciweavers

11061 search results - page 18 / 2213

» Computer Architecture

86

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

Voted

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 »

96

Voted

DAC
2005
ACM

94views Computer Architecture» more DAC 2005»

A unified optimization framework for equalization filter synthesis

15 years 4 months ago

A unified optimization framework for equalization filter synthesis

Download www.cs.york.ac.uk

Jihong Ren, Mark R. Greenstreet

claim paper

Read More »

104

Voted

DAC
2005
ACM

114views Computer Architecture» more DAC 2005»

Formal verification: is it real enough?

15 years 4 months ago

Formal verification: is it real enough?

Download www.cecs.uci.edu

Yaron Wolfsthal, Rebecca M. Gott

claim paper

Read More »

96

Voted

DAC
2008
ACM

112views Computer Architecture» more DAC 2008»

IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors

15 years 4 months ago

IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors

Download www.stanford.edu

Sung-Boem Park, Subhasish Mitra

claim paper

Read More »

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