Re: [sv-ac] call to vote on Mantis 1361

what would $assertvacuouson mean outside assertions?

Doron

Rich, Dave wrote:

>
> Another minor clarification is whether $assertfailon/off effects just
> the explicit fail action, or also the implicit fail action of calling
> $error.
>
> Also, it is clear in this proposal that these tasks only control the
> execution of the action blocks of concurrent assertions. Shouldn't the
> same be true for section 22.8?
>
>
> Dave
>
> > -----Original Message-----
> > From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org]
> On
> > Behalf Of Jonathan Bromley
> > Sent: Wednesday, March 28, 2007 3:20 AM
> > To: john.havlicek@freescale.com; sv-ac@server.eda-stds.org
> > Subject: RE: [sv-ac] call to vote on Mantis 1361
> >
> > This is probably too late, but I only just caught up with my
> > email backlog after being away...
> >
> > I think there is an ambiguity, or at least a lack of clarity,
> > in the proposed new clause "22.9 Assertion action control system
> tasks".
> > Do the $assertpasson/$assertpassoff tasks enable/disable the
> > action on nonvacuous pass, or both vacuous and nonvacuous
> > passes?  If they control all forms of pass action, how do
> > they interact with $assertvacuouson/off?  For example, if I do
> >
> >   initial begin
> >     $assertpassoff;
> >     $assertvacuousoff;
> >     $assertpasson;
> >   end
> >
> > what will happen - is the $assertvacuousoff sticky, so that the
> > later $assertpasson enables only non-vacuous successes?  It might
> > be preferable to express the effect in terms of three flags for
> > each assertion, one flag to enable each action - fail, non-vacuous
> > success, vacuous succes - and then describe the effect of the
> > $assert... tasks on those flags.
> > --
> > Jonathan Bromley, Consultant
> >
> > DOULOS - Developing Design Know-how
> > VHDL * Verilog * SystemC * e * Perl * Tcl/Tk * Project Services
> >
> > Doulos Ltd. Church Hatch, 22 Market Place, Ringwood, Hampshire, BH24
> 1AW,
> > UK
> > Tel: +44 (0)1425 471223                   Email:
> > jonathan.bromley@doulos.com
> > Fax: +44 (0)1425 471573                           Web:
> > http://www.doulos.com
> >
> > This e-mail and any  attachments are  confidential and Doulos Ltd.
> > reserves
> > all rights of privilege in  respect thereof. It is intended for the
> use of
> > the addressee only. If you are not the intended recipient please
> delete it
> > from  your  system, any  use, disclosure, or copying  of this
> document is
> > unauthorised. The contents of this message may contain personal views
> > which
> > are not the views of Doulos Ltd., unless specifically stated.
> >
> > --
> > This message has been scanned for viruses and
> > dangerous content by MailScanner, and is
> > believed to be clean.
> >
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>
>


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