Design Rule Compiler

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.


Please submit all questions and comments to