Design rule checking

Design Rules Checking is the area of Electronic Design Automation] software that concerns itself with checking if rules set by physical manufacturers of chips are satisfied in the chip design.

Design Rules are usually expressed as mathematical formulas with boolean, connectivity and geometrical operations taking as arguments layers and producing as outputs various violations found in design. Examples of operations: AND, NOT, CONNECTED, INSIDE, EXTERNAL.