1016 search results - page 144 / 204 » Embedded Computing: New Directions in Architecture and Autom... |
DAC
2006
ACM
15 years 11 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
15 years 11 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...
DAC
2008
ACM
15 years 11 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...
DAC
2007
ACM
15 years 11 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...
DAC
2001
ACM
15 years 11 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...