ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper presents efficient reencoding and resynthesis algorithms for cycle-time minimization of multilevel implementations of synchronous finite state machines (FSMs) under a fi...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
Domino logic is a popular con guration for implementing high-speed circuits. An algorithm for domino logic mapping, under a parameterized library style, is presented here. Practic...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
A method is presented for identifying primitive path-delay faults in non-scan sequential circuits and generating robust tests for all robustly testable primitive faults. It uses t...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
- This paper presents an optimal algorithm for solving the problem of simultaneous fanout optimization and routing tree construction for an ordered set of critical sinks. The algor...
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
ICCAD
1998
IEEE
14 years 3 months ago
1998
IEEE
Retiming and resynthesis transformations can be used for optimizing the area, power, and delay of sequential circuits. Even though this technique has been known for more than a de...