Re: [sv-ac] Initial proposal uploaded for 2088

Hi all,
I do not think that it is necessary to out cg in procedural code. It is enough to call sample method onthe cg instance. There is a new proposal in SV EC that allows passsing args to sample to that method. 
Best regards,

Ed

Sent from BlackBerry.


----- Original Message -----
From: owner-sv-ac@eda.org <owner-sv-ac@eda.org>
To: Thomas.Thatcher@sun.com <Thomas.Thatcher@sun.com>; sv-ac@eda.org <sv-ac@eda.org>
Sent: Thu Nov 29 10:03:16 2007
Subject: RE: [sv-ac] Initial proposal uploaded for 2088


 

> 2.  Currently covergroups are not allowed within procedural blocks,
while properties, sequences, and assertions are.  In addition, Erik is
working on 1995 to allow assertions within procedural loops.  Given that
checkers would be allowed within procedural blocks and loops as well,
will this cause problems for covergroups in a checker, which is
instantiated in a procedural loop?

I don't think the loops in particular should be an issue:  assuming our
checkers-in-loops proposal ends up with the same language as our 1995
assertions-in-loops proposal, the checker will be executed for each loop
iterator value, but not really be executing in a looped procedural
manner.

The bigger challenge is probably just the fundamental issue of
covergroups in procedural code.  I'm not sure that's a show-stopper
issue though:  it's already the case that concurrent assertions appear
in procedural code, but are not 'real' procedural objects, so this may
be similar.

-- 
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 anddangerous content by MailScanner, and isbelieved to be clean.