[sv-ec] covergroup sample method

From: John Havlicek <john.havlicek_at_.....>
Date: Wed Oct 17 2007 - 10:08:18 PDT
Hi Dave:

Why would it not be legal to call a covergroup sample method from a
sequence or property?

We have

   16.10 Calling subroutines on match of a sequence

   Tasks, task methods, void functions, void function methods, and
   system tasks can be called at the end of a successful non-empty
   match of a sequence. The subroutine calls, like local variable
   assignments, appear in the comma-separated list that follows the
   sequence. The subroutine calls are said to be attached to the
   sequence. It shall be an error to attach a subroutine call or any
   sequence_match_item to a sequence that admits an empty match. The
   sequence and the list that follows are enclosed in parentheses.


I thought that the covergroup sample method would count as a
void function method.  Am I being naive?

J.H.

> I don't think you would be allowed to call a covergroup sample method
> from a sequence or property.  You could call a function that copies the
> local variable and does the sample for you.
> 
> > -----Original Message-----
> > From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org]
> > On Behalf Of Michael Burns
> > Sent: Friday, October 12, 2007 4:39 PM
> > To: Scott, David
> > Cc: SV-EC
> > Subject: Re: [sv-ec] covergroup sample method
> > 
> > 
> > The problem is that we want to trigger coverage from within assertions
> > using
> > data in assertion local variables. I don't believe we are allowed to
> > declare
> > covergroups within assertions.
> > 
> > --Mike

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Oct 17 10:09:00 2007

This archive was generated by hypermail 2.1.8 : Wed Oct 17 2007 - 10:09:13 PDT