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

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.