A layout versus schematic (LVS) comparison tool determines one-to-one
equivalency between an integrated circuit schematic and an integrated
circuit layout by performing operations to color a schematic graph of a
parent cell to an equilibrium state. An operation is then performed to
recolor nets connected to first and second child cells having the same
device value within the parent cell, using a net coloring operation that
recolors a first plurality of symmetric pins of the first child cell and
recolors a second plurality of symmetric pins of the second child cell.
Distinct device values are then generated for the first and second child
cells by determining a first product of the colors of the recolored first
plurality of symmetric pins and a second product of the colors of the
recolored second plurality of symmetric pins. The operations to recolor
the nets preferably include coloring a first pin of a child cell within a
parent cell using a pin coloring operation that is a function of a device
value of the child cell and a color of each of the pins of the child cell
that are independently swappable with the first pin, but is independent of
a color of a second pin of the child cell that is dependently swappable
with the first pin.
Ένα σχεδιάγραμμα εναντίον του σχηματικού εργαλείου σύγκρισης (LVS) καθορίζει την ένα προς ένα ισοδυναμία μεταξύ μιας σχηματικής αναπαράστασης ολοκληρωμένων κυκλωμάτων και ενός σχεδιαγράμματος ολοκληρωμένων κυκλωμάτων με την εκτέλεση των διαδικασιών για να χρωματίσει μια σχηματική γραφική παράσταση ενός κυττάρου γονέων σε ένα κράτος ισορροπίας. Μια λειτουργία εκτελείται έπειτα στα δίχτυα recolor που συνδέονται με πρώτα και τα δεύτερα κύτταρα παιδιών που έχουν την ίδια αξία συσκευών μέσα στο κύτταρο γονέων, χρησιμοποιώντας μια καθαρή λειτουργία χρωματισμού εκείνα τα recolors μια πρώτη πολλαπλότητα των συμμετρικών καρφιτσών του πρώτου κυττάρου παιδιών και recolors μια δεύτερη πολλαπλότητα των συμμετρικών καρφιτσών του δεύτερου κυττάρου παιδιών. Οι ευδιάκριτες τιμές συσκευών παράγονται έπειτα για το πρώτο και τα δεύτερα κύτταρα παιδιών με τον καθορισμό ενός πρώτου προϊόντος των χρωμάτων η πρώτη πολλαπλότητα των συμμετρικών καρφιτσών και ένα δεύτερο προϊόν των χρωμάτων η δεύτερη πολλαπλότητα των συμμετρικών καρφιτσών. Οι διαδικασίες στο recolor τα δίχτυα περιλαμβάνουν κατά προτίμηση το χρωματισμό μιας πρώτης καρφίτσας ενός κυττάρου παιδιών μέσα σε ένα κύτταρο γονέων χρησιμοποιώντας μια λειτουργία χρωματισμού καρφιτσών που είναι μια λειτουργία μιας αξίας συσκευών του κυττάρου παιδιών και ενός χρώματος κάθε μια από τις καρφίτσες του κυττάρου παιδιών που είναι ανεξάρτητα swappable με την πρώτη καρφίτσα, αλλά είναι ανεξάρτητη από ένα χρώμα μιας δεύτερης καρφίτσας του κυττάρου παιδιών που είναι εξαρτημένα swappable με την πρώτη καρφίτσα.