Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences


UC Berkeley

Corner-Based Geometric Layout Rule Checking for VLSI Circuits

Michael Helmet Arnold

EECS Department
University of California, Berkeley
Technical Report No. UCB/CSD-86-264


Layout rule checking is traditionally done through sequences of region-operations, and a few experimental systems use pixel-based processing. This dissertation examines these approaches in detail, and then proposes corner-based checking as an efficient and flexible alternative. In corner-based checking contextual rules, specifying conditions at corners matching patterns, are applied to the design. A rule compiler is used to convert the user-readable rule description to an efficient, indexed, internal form prior to checking. Hierarchical and incremental check algorithms that eliminate redundant checking are also developed. These algorithms greatly enhance the effectiveness of layout rule checking. Measurements from several systems implementing corner-based checking and the hierarchical and incremental algorithms demonstrate their viability and effectiveness.

Corner-based checking has several advantages. First, it checks all rules in a single pass over the data. This avoids the I/O bottleneck that is common in the multi-pass region-operation systems. The rule-based nature of corner-based checking provides inherent flexibility: variants of design rules that would require the coding of new operations in region-operation systems can often be accommodated by modifying the rule specification. Corner-based rules also permit directional context, which is notoriously difficult to establish in region-operation systems. Finally corner-based systems associate violations with points in a design rather than edges or regions. The consequent simplicity of piecewise processing facilitates hierarchical and incremental checking.

Advisor: John K. Ousterhout

BibTeX citation:

    Author = {Arnold, Michael Helmet},
    Title = {Corner-Based Geometric Layout Rule Checking for VLSI Circuits},
    School = {EECS Department, University of California, Berkeley},
    Year = {1985},
    Month = {Nov},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/1985/6092.html},
    Number = {UCB/CSD-86-264}

EndNote citation:

%0 Thesis
%A Arnold, Michael Helmet
%T Corner-Based Geometric Layout Rule Checking for VLSI Circuits
%I EECS Department, University of California, Berkeley
%D 1985
%@ UCB/CSD-86-264
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/1985/6092.html
%F Arnold:CSD-86-264