![]() |
6: Network Consistency Checking |
![]() |
To compare two facets, they must be shown in the only two windows or window partitions on the screen. Then, the Do Consistency Check subcommand of the Network command of the Tools menu compares them, using a technique called graph isomorphism.
For an example of network consistency checking, open the library "samples.txt" and edit the facets "tool-NCCTop" and "tool-NCCBottom" (you can read the library with the Readable Dump subcommand of the Import command of the File menu). These two facets are isomorphic and the checker will find it to be so.
When you request comparison, the system displays the number of components, networks, and other information in each facet. Inconsistencies in these numbers generally lead to failure of comparison. Once compared successfully, components in one facet can be matched to components in the other simply by selecting one and using the Show Network subcommand.
To control the network consistency checker, use the Network Options... subcommand. The lower part of the dialog provides many options for network consistency control (the upper part of the dialog is for general network numbering control and is described in Section 6-9).
The Network Options... dialog offers 3 ways to control the checking (selectable from the popup on the left):
The dialog also provides four options for controlling the network consistency checking. These options, as selected on the left, are defaults for all facets. However, each of these options can be overridden for individual facets by selecting that facet and choosing the "Yes" or "No" override buttons.
The "Use port names" check instructs the network consistency checker to consider port names to help distinguish equivalent components. If ports have different names in the two circuits, this will option will cause comparison to fail, and should not be used.
The "Merge parallel components" instructs the network consistency checker to consider multiple components wired in parallel to be a single component. When this option is selected, two parallel components will correctly match a single, larger component in the other facet.
"Ignore power and ground" instructs the network consistency checker to ignore all power and ground networks. This is useful when the layout has power and ground but the schematic doesn't.
"Check component sizes" instructs the network consistency checker to consider component sizes. Unless this is checked, component will be equated only according to their connectivity, and not their size. The size tolerance field allows slop in the comparison of two components.
When comparison fails, you can review the errors by typing ">" and "<" to step to the next and previous error that was found, or by typing "&" to repeat the current error.
When comparison succeeds, the date of the comparison is stored with the facet. In subsequent comparisons, if no change has been made since the last good comparison then the check will not be run. To force all facets to be compared again, click on the "Clear valid NCC dates" button to remove all date information.
If the two networks being compared are automorphic or otherwise difficult to distinguish, equivalence information can be specified prior to comparison. Select a component in one facet and use the Set First Equate subcommand. Then select the equivalent component in the other facet and use the Set Second Equate subcommand. Subsequent network comparisons use this information to assist the process. To automatically generate this equivalence information, the Equate Like-Named Instances subcommand looks for nodes in the two facets that have the same name. The list of equated components can be cleared with the Clear Equates subcommand. Note that component equivalence information is not saved in the library, and so it must be reentered if Electric is restarted.
![]() |
Previous | ![]() |
Table of Contents | Next | ![]() |