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

From: Eduard Cerny <Eduard.Cerny@synopsys.com>
Date: Thu Mar 22 2012 - 11:30:18 PDT

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

> -----Original Message-----
> From: Neil Korpusik [mailto:neil.korpusik@oracle.com]
> Sent: Thursday, March 22, 2012 2:17 PM
> To: Eduard Cerny
> Cc: 'sv-ac@eda-stds.org'
> Subject: Re: [sv-ac] question regarding assertion control tasks
>
> Hi Ed,
>
> See the following section of the LRM.
>
>
> 21.7.1.2 Specifying variables to be dumped ($dumpvars)
>
> When invoked with no arguments, $dumpvars dumps all the variables in
> the model to the VCD file.
>
>
>
> Neil
>
> On 03/22/12 08:46, Eduard Cerny wrote:
> > Hi,
> >
> > According to the BNF of the old $asserton/off/kill and the new
> > $assertcontrol, these tasks allow specifying level
> > list_of_scopes_or_assertions missing. It does not specify what is then
> > the target of the task. The same applies to dumpvars which used as the
> > reference.
> >
> > There, it states
> >
> > When the $dumpvars task is specified with arguments, the first argument
> > indicates how many levels of the
> >
> > hierarchy below each specified module instance to dump to the VCD file.
> > Subsequent arguments specify
> >
> > which scopes of the model to dump to the VCD file. These arguments can
> > specify entire modules or individual
> >
> > variables within a module.
> >
> > It does not say what to do when there is no specified module instance.
> >
> > Is there an interpretation I am missing?
> >
> > Thanks
> >
> > ed
> >
> >
> > --
> > This message has been scanned for viruses and
> > dangerous content by *MailScanner* <http://www.mailscanner.info/>, and
> is
> > believed to be clean.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Mar 22 11:30:52 2012

This archive was generated by hypermail 2.1.8 : Thu Mar 22 2012 - 11:30:56 PDT