Sciweavers

ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
13 years 8 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...
ICCAD
1999
IEEE
96views Hardware» more  ICCAD 1999»
13 years 8 months ago
Implication graph based domino logic synthesis
In this paper, we present a new approach to the problem of inverter elimination in domino logic synthesis. A small piece of static CMOS logic is introduced to the circuit to avoid...
Ki-Wook Kim, C. L. Liu, Sung-Mo Kang
ICCAD
1999
IEEE
66views Hardware» more  ICCAD 1999»
13 years 8 months ago
Timing-safe false path removal for combinational modules
A delay abstraction of a combinational module is a compact representation of the delay information of the module, which carries effective pin-to-pin delay for each primary-input/pr...
Yuji Kukimoto, Robert K. Brayton
ICCAD
1999
IEEE
86views Hardware» more  ICCAD 1999»
13 years 8 months ago
Clock skew scheduling for improved reliability via quadratic programming
This paper considers the problem of determining an optimal clock skew schedule for a synchronous VLSI circuit. A novel formulation of clock skew scheduling as a constrained quadrat...
Ivan S. Kourtev, Eby G. Friedman
ICCAD
1999
IEEE
93views Hardware» more  ICCAD 1999»
13 years 8 months ago
Interconnect parasitic extraction in the digital IC design methodology
Mattan Kamon, Steve McCormick, Ken Sheperd
ICCAD
1999
IEEE
108views Hardware» more  ICCAD 1999»
13 years 8 months ago
Copy detection for intellectual property protection of VLSI designs
We give the first study of copy detection techniques for VLSI CAD applications; these techniques are complementary to previous watermarking-based IP protection methods in finding ...
Andrew B. Kahng, Darko Kirovski, Stefanus Mantik, ...
ICCAD
1999
IEEE
125views Hardware» more  ICCAD 1999»
13 years 8 months ago
Direct synthesis of timed asynchronous circuits
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...
Sung Tae Jung, Chris J. Myers
ICCAD
1999
IEEE
87views Hardware» more  ICCAD 1999»
13 years 8 months ago
Repeater insertion in tree structured inductive interconnect
Yehea I. Ismail, Eby G. Friedman, José Luis...
ICCAD
1999
IEEE
72views Hardware» more  ICCAD 1999»
13 years 8 months ago
An integrated algorithm for combined placement and libraryless technology mapping
This paper presents a new solution for combining technology mapping with placement, coupling the two into one phase. The original aspects of our work are the use of libraryless ma...
Yanbin Jiang, Sachin S. Sapatnekar