ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
1 This paper provides a new, generalized approach to the problem of encoding information as vectors of binary digits. We furnish a formal definition for the Boolean constrained enc...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
Fault dictionary compaction has been accomplished in the past by removing responses on individual output pins for speci c test vectors. In contrast to the previous work, we presen...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
- This paper addresses the problem of true delay estimation during high level design. The existing delay estimation techniques either estimate the topological delay of the circuit ...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
We propose new techniques for efficient breadth-first iterative manipulation of ROBDDs. Breadth-first iterative ROBDD manipulation can potentially reduce the total elapsed time by...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
This paper proposes a test approach and circuitry suitable for built-in self-test (BIST) of digital-to-analog (D/A) and analog-to-digital (A/D) converters. Offset, gain, linearity...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
The reuse of well-tested and optimized design objects is an important aspect for decreasing design times, increasing design quality, and improving the predictability of designs. R...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
We present a general framework for the construction of vertex orderings for netlist clustering. Our WINDOW algorithm constructs an ordering by iteratively adding the vertex with h...
ICCAD
1994
IEEE
13 years 8 months ago
1994
IEEE
