Subject: Re: [sv-ac] Initial proposal text for messages in sequences.
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Dec 10 2003 - 10:10:01 PST
Adam and All:
I think it is achievable to put my suggestion into 3.1a.
Do you have issues with it or is it unclear whether my
suggestion is a good step to take right now?
Briefly, my suggestion was to allow attaching the messages to
booleans and sequences with the comma syntax and with the semantics
that says the message executes only if the boolean or sequence
matches (i.e., the "passing" mode).
This way there will be some debugging capability in the 3.1a
language.
In the next revision, we would work on getting the failing mode
defined and the syntax to represent it, as well as the single
error messages for properties.
Best regards,
John H.
> Date: Wed, 10 Dec 2003 10:46:22 -0600
> From: Adam Krolnik<krolnik@lsil.com>
> X-Accept-Language: en-us, en
> Cc: <sv-ac@eda.org>
> Sender: owner-sv-ac@eda.org
> Precedence: bulk
>
>
>
> Hi John;
>
> Thank you for the excellent critique of this attempt at providing the ability
> to provide context of the failure back to the user.
>
> I suggest that this be one of the first issues that the committe works on for
> the next SV revision.
>
> Adam Krolnik
> Verification Mgr.
> LSI Logic Corp.
> Plano TX. 75074
> Co-author "Assertion Based Design"
>
This archive was generated by hypermail 2b28 : Wed Dec 10 2003 - 10:10:37 PST