RE: [sv-ac] question regarding assertion control tasks

It could only be changed now if it could be considered part of some ballot comment.

Shalom

> -----Original Message-----
> From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> Eduard Cerny
> Sent: Sunday, March 25, 2012 3:41 PM
> To: Bresticker, Shalom; Eduard Cerny; Neil Korpusik
> Cc: 'sv-ac@eda-stds.org'
> Subject: RE: [sv-ac] question regarding assertion control tasks
>
> Hello Shalom,
>
> The test results indicate that something should be said about this case
> in the LRM. It is probably too late for the new LRM, or is it? What in
> your view should it be? This goes beyond SV-AC because
> $asserton/off/kill refers to $dumpvars for explanation of behavior.
>
> Thank you,
> ed
>
> > -----Original Message-----
> > From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com]
> > Sent: Sunday, March 25, 2012 6:20 AM
> > To: Eduard Cerny; Neil Korpusik
> > Cc: 'sv-ac@eda-stds.org'
> > Subject: RE: [sv-ac] question regarding assertion control tasks
> >
> > Hi, Ed.
> >
> > I tested this in two major simulators and got different results.
> >
> > One treated it as though the name of the top level module(s) had been
> > specified.
> >
> > The second treated it as though the name of the current module, the
> module
> > where the $dumpvars task call appeared, was specified.
> >
> > Regards,
> > Shalom
> >
> > > -----Original Message-----
> > > From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
> > > Eduard Cerny
> > > Sent: Thursday, March 22, 2012 8:30 PM
> > > To: Neil Korpusik; Eduard Cerny
> > > Cc: 'sv-ac@eda-stds.org'
> > > Subject: RE: [sv-ac] question regarding assertion control tasks
> > >
> > > Hi Neil,
> > >
> > > that applies when no arguments are given, but here you have level
> > > given.
> > > $dumpvars(3), there is no list of instances. I think that the LRM
> > > should be more specific in that case.
> > >
> > > Best regards
> > > ed
> >
> > ---------------------------------------------------------------------
> > Intel Israel (74) Limited
> >
> > This e-mail and any attachments may contain confidential material for
> > the sole use of the intended recipient(s). Any review or distribution
> > by others is strictly prohibited. If you are not the intended
> > recipient, please contact the sender and delete all copies.
>
>
> --
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
>

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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