Re: [sv-ac] Re: [Bulk] [sv-ec] Assertions & Covers in classes?

From: ben cohen <hdlcohen@gmail.com>
Date: Fri Nov 05 2010 - 15:29:35 PDT

<There might be some challenging questions to answer about the
lifetime of the things being sampled in your properties.>
The real issue with those suggestions is the dynamic creation / kill of
class and virtual interface instances.
That is why they are not allowed, and I seriously doubt that the sv-ac
committee would allow it, as there are other issues that need to be
resolved.
Ben SystemVerilog.us

On Fri, Nov 5, 2010 at 3:21 PM, Jonathan Bromley
<jonathanbromley@ymail.com>wrote:

> Cliff,
>
>
> An interesting topic came up this week in a verification training class.
>>
>> Has any consideration been give to adding assertions and cover statements
>> to classes?
>>
>> The assertions and covers could be quite useful in a scoreboard setting
>> since the statements have rather powerful temporal speicfication
>> capabilities. One would still need to access signals via a virtual
>> interface, but it could be quite useful.
>>
>
> This certainly does come up in user discussions from time to time.
>
> Temporals in 'e' *can* (indeed, must) live in classes, and yes, it's
> useful.
> I don't know whether Vera offers similar features.
>
> I'm not sure what the formal folks would have to say about it, though.
> There might be some challenging questions to answer about the
> lifetime of the things being sampled in your properties.
> --
> Jonathan Bromley
>
>
>
> --
> 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.
Received on Fri Nov 5 15:30:27 2010

This archive was generated by hypermail 2.1.8 : Fri Nov 05 2010 - 15:30:31 PDT