A method, system and program product are disclosed that create new shapes
at detected shape overlaps and includes those new shapes during routing
and net checking when the new shapes require a larger space than any of
the overlapping shapes. The invention thus detects and prevents spacing
errors without the expense of time consuming design rule checking (DRC),
facilitating early detection and prevention of errors.