Subject: [sv-cc] Assertion errata
From: Francoise Martinolle (fm@cadence.com)
Date: Wed Dec 10 2003 - 09:54:42 PST
Comments on the assertion errata.
Sorry It come so late but I found some editorial issues to be fixed.
We should either provide all the available types.
PLI_INT32 assertionType; /* vpiSequenceType, ... */
For the assertion errata, I think it is confusing (when I read) to embed
the prototype of the callback function in vpi_register_assertion_cb.
I would prefer if there would be a function prototype used and defined.
The return type of vpi_get_assertion_info should be PLI_INT32
int vpi_get_assertion_info (assert_handle, p_vpi_assertion_info);
The following sentence :
2) a pointer to the time of the callback
should be changed to:
2) a pointer to the time of the assertion attempt
The following sentence:
5) a reference to the user data supplied when the callback was placed.
should be changed to:
5) a reference to the user data supplied when the callback was registered.
Replace :
On disable, enable, reset and kill callbacks, the info field is absent
(a NULL pointer is given as the value
of info).
With:
On disable, enable, reset and kill callbacks, the info field is NULL.
Replace :
On a step callback, the attemptStartTime and detail.step elements are
valid.
with:
On a step callback, the attemptStartTime and detail.step are
valid.
Replace (incomplete sentence)
- For the following operator, the second argument shall be a valid
assertion handle, the third argument shall
be an attempt start-time (as a pointer to a correctly initialized
s_vpi_time structure) and the fourth argument
shall be a step control constant.
Usage example: vpi_control(vpiAssertionEnableStep, assertionHandle,
attemptStartTime,
With:
- For this operation, the second argument shall be a valid
assertion handle, the third argument shall
be an attempt start-time (as a pointer to a correctly initialized
s_vpi_time structure) and the fourth argument
shall be a step control constant.
Usage example: vpi_control(vpiAssertionEnableStep, assertionHandle,
attemptStartTime, assertionEnableStep)
This archive was generated by hypermail 2b28 : Wed Dec 10 2003 - 09:55:14 PST