lxHierCheckAgainstSource

lxHierCheckAgainstSource(
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 } ]
)
=> t / nil

Description

Generates a report highlighting the differences between the schematic and layout cellviews for unique layout masters in the specified layout hierarchy. If you use the optional arguments, they override the existing environment variables set in the .cdsenv file. This SKILL function always skips any layouts that have no instances. If a log file name is specified for the hierSummaryLogFileName environment variable, the SKILL function prints the summary information to the specified log file, in addition to printing the information to the default Virtuoso log file.

Arguments

d_layCellViewID	Database ID of the target layout 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` x_maxDiffsLimit
	Limits the number of differences reported in the CIW for each of the four categories. For example, if you set the limit to 100, the command can report up to 100 cellview master differences and 100 unbound instance differences, and so on. Any messages over the limit are suppressed in the CIW but are listed in the log file.
`?logFileName` t_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`.

Value Returned

`t`	The command was successful.
`nil`	The command was unsuccessful.

Example

lxHierCheckAgainstSource(lcv)

Generates the hierarchical Design Check Against Source report for differences between the source and the target, using the default environment variable settings.

lcv is the layout cellview ID. The schematic can be automatically determined from the connectivity reference setting on the layout. The connectivity reference can be changed, if required, using lxSetConnRef().

lxHierCheckAgainstSource(lcv ?masterDiff t ?paramDiff nil ?unboundsInsts nil ?connectivity t ?logFileName “./checkReport.log”)

Generates the Check Against Source report for differences between the source and the target. Only the differences in the masters and connectivity are reported. The log file is checkReport.log.

lcv is the layout cellview ID.

Return to top

Virtuoso Layout Suite SKILL ReferenceProduct Version IC23.1, November 2023