Sciweavers

44 search results - page 2 / 9
» iccad 1996
Sort
View
ICCAD
1996
IEEE
94views Hardware» more  ICCAD 1996»
13 years 8 months ago
Metamorphosis: state assignment by retiming and re-encoding
This paper presents Metamorphosis1
Balakrishnan Iyer, Maciej J. Ciesielski
ICCAD
1996
IEEE
123views Hardware» more  ICCAD 1996»
13 years 8 months ago
Efficient solution of systems of Boolean equations
This paper describes an algorithm for the efficient solution of large systems of Boolean equations. The algorithm exploits the fact that, in some cases, the composition operation ...
Scott Woods, Giorgio Casinovi
ICCAD
1996
IEEE
90views Hardware» more  ICCAD 1996»
13 years 8 months ago
A coloring approach to the structural diagnosis of interconnects
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
Xiao-Tao Chen, Fabrizio Lombardi
ICCAD
1996
IEEE
114views Hardware» more  ICCAD 1996»
13 years 8 months ago
An efficient approach to simultaneous transistor and interconnect sizing
In this paper, we study the simultaneous transistor and interconnect sizing (STIS) problem. We de ne a class of optimization problems as CH-posynomial programs and reveal a genera...
Jason Cong, Lei He
ICCAD
1996
IEEE
129views Hardware» more  ICCAD 1996»
13 years 8 months ago
Accurate interconnect modeling: towards multi-million transistor chips as microwave circuits
-- In this tutorial we discuss concepts and techniques for the accurate and efficient modeling and extraction of interconnect parasitics in VLSI designs. Due toincreasing operating...
N. P. van der Meijs, T. Smedes