A method automatically specifies a unique number of an error layer for each
DRC rule in a runset. Therefore, all errors related to a given DRC rule
are reported by a layout verification tool in the uniquely specified error
layer. Furthermore, the method also automatically specifies a unique
number of a filter layer that has the same extent as a quality assurance
(QA) cell for testing the DRC rule. The filter layer is logically operated
(e.g. ANDed) with the error layer to uniquely identify a failure related
to the DRC rule (i.e. errors from all other QA cells are filtered out).
The QA cells are generated automatically by use of a library of templates.
During regression testing, the first time a DRC runset is run against a
test design or QA cell library the results are manually verified and
stored as "expected" results. Thereafter when the runset changes or a new
version of the verification tool becomes available the test data may be
used to identify any differences in the new results, by automatic
comparison with the expected results. Specifically, the regression testing
method graphically compares the new test results with the expected results
and highlights the differences. A utility automatically compares a first
set and a second set of shapes in the two sets of results, and can be used
for comparison of any two drawings (not necessarily integrated circuit
layouts).
Eine Methode spezifiziert automatisch eine einzigartige Zahl einer Störung Schicht für jede EAW Richtlinie in einem runset. Folglich werden alle Störungen, die auf einer gegebenen EAW Richtlinie bezogen werden, durch ein Planüberprüfung Werkzeug in der einzigartig spezifizierten Störung Schicht berichtet. Ausserdem spezifiziert die Methode auch automatisch eine einzigartige Zahl eines Setzbettes, das den gleichen Umfang wie eine Qualitätssicherung (QA) Zelle für die Prüfung der EAW Richtlinie hat. Das Setzbett wird logisch (z.B. ANDed) mit der Störung Schicht bearbeitet, um einen Ausfall einzigartig zu kennzeichnen, der auf der EAW Richtlinie bezogen wird (d.h. Störungen von allen weiteren QA Zellen werden heraus gefiltert). Die QA Zellen werden automatisch mittels eine Bibliothek der Schablonen erzeugt. Während der prüfenden Rückbildung, das erste mal ein EAW runset gegen eine Testdesign- oder QA Zellenbibliothek laufen gelassen wird, werden die Resultate manuell als "erwartete" Resultate überprüft und gespeichert. Danach, wenn das runset ändert, oder eine neue Version des Überprüfung Werkzeugs die Testdaten kann verwendet werden, alle mögliche Unterschiede bezüglich der neuen Resultate zu kennzeichnen vorhanden wird, durch automatischen Vergleich mit den erwarteten Resultaten. Spezifisch vergleicht die Testmethode der Rückbildung graphisch die neuen Testergebnisse mit den erwarteten Resultaten und hebt die Unterschiede hervor. Ein Dienstprogramm vergleicht automatisch einen ersten Satz und einen zweiten Satz Formen in den zwei Sätzen von Resultaten und kann für Vergleich aller möglicher zwei Zeichnungen (nicht notwendigerweise Schaltungpläne) verwendet werden.