1

Indicates successful operation.

0

Indicates an error.

VerifyTerminals { true | false }

Compares the terminals found in the logical and abstract views and reports any differences.

VerifyGrid { true | false }

Identifies pins and geometries that are located both on and off the manufacturing grid for each cell.

VerifyTarget { true | false }

Generates a test design for selected cells and runs it through the place-and-route system specified using VerifyTargetSelection.

VerifyTargetSelection { Silicon Ensemble | Encounter }

Specifies the target place-and-route system.

VerifyTargetSystemCMD command_line_option

Specifies the command line used to launch the target system.

VerifyTechFile technology_file_name

Specifies a technology LEF file to be used by the target system.

VerifyTargetMultiple { true | false }

Places an additional instance of the cell being verified on either side of the main instance of the cell in the test design, provided the cell’s symmetry allows it. This simulates same-side cell abutment and helps identify any pins or geometry that are too close to the cell boundary.

VerifyTargetMultipleRows { true | false }

Places cells above and below the main instance as follows.

• Flipped about the x-axis (for example, top to bottom), provided the cell’s symmetry allows it
• Abutted, if the site definition for that cell has zero row spacing

VerifyTargetPower { true | false }

Creates a power ring around the instances in the test design and routes it in the target system.

Turning the option off means that only signal nets are routed.

VerifyTargetRouter { Nanoroute | Wroute }

Specifies the routing engine. The default routing engine is Nanoroute.

VerifyTargetMaxRouteTime value

Specifies in minutes the maximum amount of time that Wroute or Nanoroute spends routing the test design. If the design fails to route within a reasonable time, it might be an indication that some of pins in the abstract are difficult to access.

VerifyConfigFile value

Specifies the path of the configuration file for running route. Therefore, VerifyTargetRouter should be set to Wroute before using this option.

VerifyTargetGeom value

Specifies the verifyGeometry function options, which verify the geometry of the targeted abstracts. In case of geometry violations, this option creates markers corresponding to each of the violations in the Verify view. The default value is verifyGeometry.

VerifyTargetIgnore message_identifiers

Specifies a list of regular expressions which are used to identify target system messages to be ignored when creating warning and error markers in the verify view