Class Summary |
ExportChecker |
The ExportChecker checks the Exports of the two Cells that are
supposed to be equivalent. |
ForceMatch |
The NCC annotation "forceMatch" allows the user to pre-match
Parts and Wires. |
HashCodePartitioning |
HashCodePartitioning implements Carl Ebeling's classic
Gemini II algorithm. |
HierarchyInfo |
Information needed to perform hierarchical netlist comparison. |
LocalPartitioning |
LocalPartitioning partitions the Part and Wire equivalence classes based
on purely local characteristics. |
LocalPartitionResult |
LocalPartitionResult is used by the GUI to display mismatch information |
LocalPartitionWires |
Partition Wires into equivalence classes based only upon
local information. |
LocalPartitionWires.Signature |
A Wire's Signature is an unordered list of of the pairs {PinType, count}. |
ReportHashCodeFailure |
Try to print useful information to explain to the user why
the Hash Code Partitioning phase failed. |
SerialParallelMerge |
Merge parallel Transistors into one. |
SubcircuitInfo |
Holds information necessary to treat this Cell as a primitive subcircuit
when performing hierarchical netlist comparison at a higher level |