Dynamic Uninitialized latch (dyn_uninilatch)
Description
This checks detect the uninitialized latch nodes, which may have more than one correct dc solution.
All nodes in a potential loop will be reported.
The results are reported into a file with the extension dynamic.xml, which can be read with a web browser.
This check is supported only by XPS.
Syntax
Name dyn_uninilatch parameter=value ...
Parameters
Design check parameters
|
node
|
[...]
|
Nodes to which the check is applied. Default is none.
|
Filtering parameters
|
error_limit
|
10000
|
Maximum number of errors reported. Default is 10000.
|
Wildcard scoping
|
inst
|
[...]
|
Subcircuit instances to which the check is applied. Default includes all instances (inst=*).
|
|
xinst
|
[...]
|
Subcircuit instances to be excluded from the check. Default is none.
|
|
subckt
|
[...]
|
The instances of the specified subcircuit to which the check is applied. Default includes all subcircuits (subckt=*).
|
|
xsubckt
|
[...]
|
The instances of the specified subcircuits that are excluded from the check. Default is none.
|
Return to top
