verify_connectivity
verify_connectivity
-all | -set d_setObj | -net {s_netName…}
[ -exclude_net {s_netName …} ]
[ -exclude_set d_setObj
[ -exclude_type {[power][ground][clock]}
[ -ignore_opens_between_shape_terms [ true | false ] ]
[ -annotate [ true | false ] ]
[ -annotation_limit i_count ]
[ -composite [ true | false ] ]
[ -report s_fileName [ -level [1|2]
[ -report_in_user_unit [ true | false ] ]
[ -threads i_count ]
Description
Checks for opens and shorts in the design by tracing through the shapes. This physical connectivity is compared against the connectivity provided by the network in the design, such as the original Design Exchange Format (DEF) file. Annotations can be added for the opens and shorts. You can choose to evaluate the entire design, specific nets, or nets in a set.
The GUI equivalent for this command is Verify—Connectivity.
Arguments
|
-all
|
Checks the connectivity of all nets in the active window.
|
|
-annotate [ true | false ]
|
|
|
Adds annotations for opens and shorts that are found.
For shorts, red rectangle annotations outline the shorted metal. The annotations are added to the annotation:violation purpose of the layer and are listed by net under Connectivity Checks—Shorts Checks in the Violations page of the Annotation Browser.
For opens, red line annotations are added to the annotations:extern viols objects and are listed by net under Connectivity Checks—Nets With Opens in the Violations page of the Annotation Browser.
By default, annotations are added.
|
|
-annotation_limit i_count
|
|
|
Specifies the maximum number of annotations that can be created for this operation. The default value is 1000.
|
|
-composite [ true | false ]
|
|
|
When set to true, only checks the connectivity of composite nets used in specialty routing such as pair routing.
Default: (false) Checks specified nets given by -all, -set or -net.
|
|
-exclude_net {s_netName…}
|
|
|
Excludes nets in the given list.
|
|
-exclude_set d_setObj
|
Excludes nets in the given set.
|
|
-exclude_type {[power][ground][clock]}
|
|
|
Excludes nets of the specified types.
|
|
-ignore_opens_between_shape_terms [ true | false ]
|
|
|
Ignores open violations between shape terms. The default is false.
|
|
-level [1|2]
|
(Valid only when -report is given) Specifies the level of detail to include in the report. Level 1 outputs the summary of nets with opens and shorts and is the default. Level 2 lists details for shorts and opens by net.
|
|
-net {s_netName…}
|
Specifies the names of the nets to operate on.
|
|
-report s_fileName
|
Outputs errors to the given file.
|
|
-report_in_user_unit
|
When set to true, reports connectivity metrics in user unit. This option is valid only when the -report and -level option values are set to 2.
|
|
-set d_setObj
|
Operates on nets in the given set.
|
|
-threads i_threads
|
Specifies the number of threads or processors to use in parallel to run this command. By default, if multi-threading has been enabled, the session threads are used, otherwise, one processor is used.
|
Value Returned
|
i_count
|
Indicates the total number of opens and shorts found.
|
|
-1
|
The command did not run due to a syntax error or a missing required argument.
|
Examples
The following example verifies the connectivity for the entire cellview, excluding the VDD and VSS nets.
verify_connectivity -all -exclude_net {VDD VSS}
In this example, the following is output to the Transcript area:
Net VSS was ignored.
Net VDD was ignored.
Connectivity verified on 8458 net(s). Found 3 open(s) and 2 short(s).
Checked 603570 shapes, 27755 instTerms, 55 terms.
Total CPU time: 10.6 seconds (0.1 kernel, 10.5 user)
5
The following example verifies the connectivity on a single net and adds annotations for opens and shorts that are found.
verify_connectivity -net_name "clk" -annotate
Related Topics
Verify Commands
add_custom_via_def
change_layer
tech_info
get_shape_connectivity
update_net_connectivity
Return to top
