Method and system for automatic generation of DRC rules with just in time definition of derived layers

摘要

Adding a layer of abstraction to the generation of a runset for DRC rules, by defining a meta language hides from the user the language of a specific verification tool (also called native language). The meta language can be used directly by the user to express in a file (also called meta runset) the DRC rules to be used to create an input for the verification tool in the native language (also called simply runset). A runset generator uses DRC rules supplied by a user to generate a runset in a native language (that is identified by the user). The runset generator can use templates to generate a runset. Each template (also called DRC template) contains code (can be in source form or in object form) for implementation of a DRC rule or derived layer in the native language of a specific verification tool (such as HERCULES). Thus implementation of DRC rules is hidden from the novice user. During automatic generation of DRC rules, the location in a runset of a derived layer specified by the user is optimized, by automatically inserting such a definition immediately prior to a DRC rule that uses the definition (also called just in time layer definition). Such just-in-time layer definition reduces memory usage of the verification tool, and ensures that unused physical layers or derived layers do not appear in the automatically generated runset.