This program, Rulec 45, is used to retarget Leo45 for new
design rule-sets, permitting Leo45 to be used with multiple
technologies and processes and also making it possible to track
design rules as they change over time. To adapt Leo45 to a new
rule-set, a symbolic rule-set specification is written and then
compiled with the Rulec45 design rule compiler to generate a rules
table used by Leo45 in checking the new rules. Rules are specified
in terms of Leo45's corner based paradigm: Each rule gives a context
specifying corners where it applies, and a set of constraints to be
applied at these corners. Complex or unusual rules can be coded
directly in terms of a primitive rule construct. Common checks, such
as width and spacing, are coded more concisely using rule macros. |