18th Design Automation Conference · 1981 · 58 citations · 10 references
EngineeringComputer EngineeringComputer ScienceAlgorithmsCircuit TheoryComputational GeometryBoolean AlgebraBoolean OperationsCircuit ComplexityDigital Logic DesignLogic SynthesisMask DesignBoolean Algebra In Circuit DesignBoolean Circuit ComplexityBoolean Circuit EvaluationCircuit Complexity Of Boolean FunctionsCircuit RoutingComplexity Of Boolean FunctionsLogarithmic Space ComplexityThree-dimensional Integrated Circuit Layout
A new algorithm is presented which calculates Boolean combinations (AND, OR, EXOR, AND NOT) between two layers of an integrated circuit layout. Input and output of the algorithm is an edgebased description of the set of polygons which represent the artwork. The algorithm has O (N log N) time and PI Left column, top. space complexity, i.e. it is faster than previously published methods. Moreover, we believe that it is easier to understand and to implement than the previously leading method in the field.
10
Algorithms for Reporting and Counting Geometric Intersections
Bentley, Ottmann · IEEE Transactions on Computers · 1979 · 999 citations
Geometric intersection problems
Michael Ian Shamos, Dan Hoey · 1976 · 465 citations
Design rule checking and analysis of IC mask designs
B. W. Lindsay, Bryan Preas · 1976 · 45 citations · Full text
Architecture, Computer Engineering, Electrical Engineering +13