ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
In many veri cation techniques fast functional evaluation of a Boolean network is needed. We investigate the idea of using Binary Decision Diagrams BDDs for functional simulatio...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
We present a new approach to the placement problem. The proposed approach consists of analyzing the input circuit and deciding on a two-dimensional global grid for that particular...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
We consider the problem of built-in test generation for synchronous sequential circuits. The proposed scheme leaves the circuit flip-flops unmodified, and thus allows at-speed ...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
Memory-intensive behaviors often contain large arrays that are synthesized into off-chip memories. With the increasing gap between on-chip and off-chip memory access delays, it is...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
— This paper describes an algorithm for generating provably passive reduced-order N-port models for RLC interconnect circuits. It is demonstrated that, in addition to macromodel ...
ICCAD
1997
IEEE
14 years 3 months ago
1997
IEEE
High-level power estimation, when given only a high-level design specification such as a functional or RTL description, requires high-level estimation of the circuit average acti...