Subject: Re: [sv-ac] Example showing reporting of variables in action block.
From: Adam Krolnik (krolnik@lsil.com)
Date: Tue Aug 26 2003 - 14:10:43 PDT
Hi Surrendra;
>The main use of a clocking domain for defining properties and sequences is to allow a
>grouping of definitions under a common clock, so that the clock doesn't need to be
>repeated, and the related definitions live in a group together.
I see.
So you can place them inside a clocking domain, or place them anywhere after
a default clocking domain specification.
We may want to fill out the example on page 184 where one expects to use the
default clock. It is missing a property/assertion without a clock... A piece
of erratta for the list?
----So we are back to the beginning of this discussion - there is still no method, except to do the tedious an error prone work of creating a clocked block solely to reference the signals to make an error message.
Unless, we would only allow assertion statements where the action blocks are simple statements - $error() or $display() or ...
The clocking domain method is simple enough, though I like Jay's though about all assertion statements implicitly wrapped with a clocking domain...
Adam Krolnik Verification Mgr. LSI Logic Corp. Plano TX. 75074
This archive was generated by hypermail 2b28 : Tue Aug 26 2003 - 14:11:45 PDT