Sciweavers

82 search results - page 3 / 17

» dac 1996

18

DAC
1996
ACM

108views Computer Architecture» more DAC 1996»

Word Level Model Checking - Avoiding the Pentium FDIV Error

13 years 11 months ago

Word Level Model Checking - Avoiding the Pentium FDIV Error

Download www.cs.cmu.edu

Edmund M. Clarke, Manpreet Khaira, Xudong Zhao

claim paper

Read More »

20

DAC
1996
ACM

61views Computer Architecture» more DAC 1996»

Lower Bounds on Test Resources for Scheduled Data Flow Graphs

13 years 11 months ago

Lower Bounds on Test Resources for Scheduled Data Flow Graphs

Download poisson.usc.edu

Ishwar Parulkar, Sandeep K. Gupta, Melvin A. Breue...

claim paper

Read More »

12

DAC
1996
ACM

88views Computer Architecture» more DAC 1996»

Error Correction Based on Verification Techniques

13 years 11 months ago

Error Correction Based on Verification Techniques

Download ir.lib.nthu.edu.tw

Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng

claim paper

Read More »

16

DAC
1996
ACM

99views Computer Architecture» more DAC 1996»

Compact Vector Generation for Accurate Power Simulation

13 years 11 months ago

Compact Vector Generation for Accurate Power Simulation

Download cadlab.ece.ucsb.edu

Shi-Yu Huang, Kuang-Chien Chen, Kwang-Ting Cheng, ...

claim paper

Read More »

25

DAC
1996
ACM

104views Computer Architecture» more DAC 1996»

Partitioning of VLSI Circuits and Systems

13 years 11 months ago

Partitioning of VLSI Circuits and Systems

Download cs.ecs.baylor.edu

Partitioning plays an increasingly important role in the design process of VLSI circuits and systems. There are partitioning to be solved on all levels of abstraction. The rapidly...

Frank M. Johannes

claim paper

Read More »

« Prev « First page 3 / 17 Last » Next »