Product Documentation
Virtuoso ADE SKILL Reference
Product Version IC23.1, November 2023

maeWaiveViolation

maeWaiveViolation(
x_dbId
[?objectName t_objectName]
[?objectType t_objectType]
[?checkerName t_checkerName]
[?analysisName t_analysisName]
[?time t_time]
[?comment t_comment]
[?historyName t_historyName]
[?designPoint x_designPoint]
[?corner t_cornerName]

)
=> t / nil

Description

Adds a rule to the waivers SQL database that waives a check and assert for the given object.

Arguments

x_dbId

An integer identifying the connection for an open checks and asserts database.

?objectName t_objectName

Name of the net or instance object for which you want to waive a violation.

Specify the instance or net name in a format that is used in the netlist, not as shown in the Inst/Net column of the Checks/Asserts results table. For example, if an instance name is I15/I1/NM0, you should write it as I15.I1.NM0.

?objectType t_objectType

Type of the object for which you want to waive a violation.

?checkerName t_checkerName

Name of the checker in a hierarchical format.

?analysisName t_analysisName

Name of the analysis.

?time t_time

A double or a string value with units.

?comment t_comment

A string value indicating the reason for providing a waiver.

You must provide a value for this argument.

?historyName t_historyName

Name of the history or the child history for which you want to waive a violation.

The arguments ?historyName t_historyName, ?designPoint x_designPoint, and ?corner t_cornerName are optional arguments and must be specified together only. You can use these arguments only when the variable waiveViolationsByCorner is set to t.

?designPoint x_designPoint

Point ID of the design point for which you want to waive the violation.

?corner t_cornerName

Name of the corner for which you want to waive the violation.

Value Returned

t

A rule is added to the waivers SQL database that waives a check and assert for the given object.

nil

No rule is added to the waivers SQL database.

Examples

Waives the violations when the following conditions are met:

let( (dbId)
dbId = maeOpenViolationDb( "fnxSession0" "demo_top:1" "Interactive.1")
when( dbId != -1
maeWaiveViolation( dbId ?objectName "I19.PMO" ?objectType "instance"
?checkerName "testLib/demo_top/Constr_3" ?analysisName "tran" ?comment "waiving" 
?historyName "Interactive.1" ?designPoint 1 ?corner "C1")
maeCloseViolationDb(dbId)
)

Return to top
 ⠀
X