1016 search results - page 144 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
116
Voted
DAC
2006
ACM
16 years 2 months ago
2006
ACM
For a space compactor, degradation of fault detection capability caused by the masking effects from unknown values is much more serious than that caused by error masking (i.e. ali...
DAC
2006
ACM
16 years 2 months ago
2006
ACM
Multimedia SoCs are characterized by a main controller that directs the activity of several cores, each of which is in charge of a stage in the processing of a media stream. The v...
113
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Extensive software-based simulation continues to be the mainstream methodology for functional verification of designs. To optimize the use of limited simulation resources, coverag...
106
click to vote
DAC
2007
ACM
16 years 2 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
107
click to vote
DAC
2001
ACM
16 years 2 months ago
2001
ACM
In this paper, we propose preconditioned Krylov-subspace iterative methods to perform efficient DC and transient simulations for large-scale linear circuits with an emphasis on po...