Subject: [sv-cc] Assertion API questions
From: Amouroux, John (john_amouroux@mentorg.com)
Date: Tue Nov 25 2003 - 11:49:47 PST
Hi folks (remember me?),
I've been going through our assertion api section in the SV 3.1 spec more
thoroughly and I have a few questions/comments.
1. On page 249, paragraph 27.3.2.1, we have the structure
t_vpi_assertion_info. In there is a field called defname. It is declared
as a PLI_BYTE8 and I think it should be a PLI_BYTE8*.
2. On page 251, paragraph 27.4.2, the struct t_vpi_attempt_info contains a
field called attemptTime. Given a property that takes more than one clock
cycle to complete, does attemptTime represent the time the property was
started or the time at which the property was found to not hold? Later
parts of the doc seem to imply that this is a start time, but it should be
explicitly mentioned here.
3. (same place as #2) In the structure t_vpi_attempt_info there is a field
called failExpr. Since it appears that this same struct will be used for
stepping operations, and a property when in the middle of a step is not
necessarily failing, should it really be called something like currentExpr?
4. Last paragraph on page 251, first sentence, if I understood everything
correctly, I would like to add the word "instance" (or scope?) to the
sentence. i.e. "These callbacks are specific to a given assertion
instance;".
5. On pages 252-253, paragraphs 27.5.1-2, we have an apparent ambiguity in
our vpi function naming. More precisely, I don't see how we can
differentiate between the various vpi_control function calls described here
given a standard C linkage.
Thanks,
Johnny
This archive was generated by hypermail 2b28 : Tue Nov 25 2003 - 11:50:48 PST