lxCheckAgainstSource
lxCheckAgainstSource(
d_schCellViewID
d_layCellViewID
[ ?masterDiff { t | nil } ]
[ ?paramDiff { t | nil } ]
[ ?unboundInsts { t | nil } ]
[ ?connectivity { t | nil } ]
[ ?maxDiffsLimit x_maxDiffsLimit ]
[ ?logFileName t_logFileName ]
[ ?appendToLog { t | nil } ]
[ ?nameDiff { t | nil } ]
[ ?dummyDiff { t | nil } ]
[ ?busTermDiff { t | nil } ]
[ ?virtualHierDiff { t | nil } ]
)
=> t / nil
Description
Generates a report highlighting the differences between the schematic and the layout cellview. If you use the optional arguments, they override the existing environment variable settings in the .cdsenv file.
Arguments
|
d_layCellViewID
|
Database ID of the target layout cellview.
|
|
d_schCellViewID
|
Database ID of the source schematic cellview.
|
|
masterDiff
|
Reports instance masters that are missing or mismatched between the layout and the schematic.
|
|
?paramDiff
|
Reports CDF parameter mismatches and property mismatches between the schematic and layout views.
|
|
?unboundInsts
|
|
|
Reports layout instances that are not bound to schematic instances.
|
|
?connectivity
|
|
|
Reports connectivity mismatches on top level pins and global nets; mismatched or missing terminals and instance terminals; and unbound nets in the layout.
|
|
?maxDiffsLimit
|
|
|
Limits the number of differences reported in the CIW for each of the four categories.
For example, if you set the maximum number of differences to 100, the command reports up to a maximum of 100 cellview master differences, 100 unbound instance differences, and so on. Any messages over the specified limit are suppressed in the CIW but are still listed in the log file.
|
|
?logFileName
|
|
|
|
Specifies the name of the file in which all the Check Against Source messages are written.
|
|
?appendToLog
|
|
|
|
Appends the results of the current run to the specified log file instead of overwriting the log file.
|
|
?nameDiff
|
|
|
Reports name differences for bound instances, if the Layout XL naming convention does not match that of the schematic. The name differences are updated by Update Components And Nets.
The default is nil.
Example:
If the nameDiff argument is set to t, and the schematic instance INV/N0 is bound to the layout instance, I0, the layout instance name is updated to INV|N0. If the prefixLayoutInstNamesWithPipe environment variable is set to t, the layout instance name is prefixed with an OR (|) bar, as |INV|N0.
|
|
?dummyDiff
|
|
|
|
Reports layout dummy instances that may require backannotation to the schematic.
The default is nil.
|
|
?busTermDiff
|
|
|
|
Reports implicit bus terminal mismatches between the layout and the schematic.
The default is t.
|
|
?virtualHierDiff
|
|
|
|
Reports mismatches in the virtual hierarchy between the layout and the schematic.
The default is nil.
|
Value Returned
|
t
|
The command was successful.
|
|
nil
|
The command was unsuccessful.
|
Example
lxCheckAgainstSource(scv lcv)
Generates a Check Against Source report with the default environment variable settings.
lxCheckAgainstSource(scv lcv ?masterDiff t ?paramDiff nil ?unboundsInsts nil ?connectivity t ?logFileName “./checkReport.log”)
Appends to checkReport.log the master and connectivity differences that are reported during a Check Against Source run.
Return to top
