[sv-cc] assertionHandle as a argument for assertion system control

Hi,
I have another problem with assertion API
 
LRM says:
39.5.1 Assertion system control

To control the assertion system, use vpi_control() with one of the following
constants and a second handle

argument that is either a vpiHandle for a scope or a vpiCollection of
handles for a list of scopes.

 Secund part (vpiCollection  need to be removed  -there is mantis on that)
 
Let's focus on :
 
"a second handle argument that is...  vpiHandle for a scope "
 
But further ther is :
Usage example: vpi_control(vpiAssertionSysDisablePassAction,
assertionHandle)

..

Usage example: vpi_control(vpiAssertionSysEnablePassAction, assertionHandle)

..

Usage example: vpi_control(vpiAssertionSysDisableFailAction,
assertionHandle)

..

Usage example: vpi_control(vpiAssertionSysEnableFailAction, assertionHandle)

..

Usage example:
vpi_control(vpiAssertionSysDisableVacuousAction,assertionHandle)

..

Usage example:
vpi_control(vpiAssertionSysEnableNonvacuousAction,assertionHandle)

 

..

I thought that assertionHandle should be an argument for a 39.5.2 Assertion
control tasks

 

Is this another typo ?


Regards,

Radek
 

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.