| Class | Description |
|---|---|
| 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
|