ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
— This paper presents a SAT-based ATPG tool targeting on a path-oriented transition fault model. Under this fault model, a transition fault is detected through the longest sensit...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
With the exponential reduction in the scaling of feature size, inter-wire coupling capacitance becomes the dominant part of load capacitance. Two problems are introduced by coupli...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
— In ultra-deep submicron technology, crosstalk noise is so severe that crosstalk avoidance merely in detailed routing is not adequate and it has to be considered in earlier desi...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
– A low-power graphics LSI is designed and implemented for mobile multimedia applications. The LSI contains a 32bit RISC processor with enhanced MAC, a 3D rendering engine, progr...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
- In this paper, we propose an auto-companding technique for the analog behavioral modeling via wavelet collocation method. The companding function is automatically constructed acc...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
This paper proposes a thread partitioning algorithm in low power high-level synthesis. The algorithm is applied to high-level synthesis systems. In the systems, we can describe pa...
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM
ASPDAC
2004
ACM
13 years 9 months ago
2004
ACM