[sv-ac] Concurrent assertions in always procedures

Hi Manisha,

 

In the yesterday's meeting you raised a question whether concurrent
assertions are legal in an always_comb procedure. Here is my
understanding:

 

It is written in the LRM (16.14.5 Embedding concurrent assertions in
procedural code):

 

A concurrent assertion statement can also be embedded in a procedural
block. For example:

property rule;

a ##1 b ##1 c;

endproperty

always @(posedge clk) begin

<statements>

assert property (rule);

end

If the statement appears in an always procedure, the property is always
monitored. If the statement appears

in an initial procedure, then the monitoring is performed only on the
first clock tick.

 

Note that always is written in New Times Roman, and not in courier,
which means that this is a generic name of all kinds of always
procedures, and not only of "always" proper.

 

Thanks,

Dmitry

---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.