Subject: [sv-ac] immediate assert
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Tue Apr 22 2003 - 10:18:00 PDT
We came across one issue that seemed to have been overlooked. This relates
to the execution of the action block for the immediate assert. The draft5
LRM says that the action block gets executed in the reactive region. This
is correct for the concurrent assertions, but not for the
immediate assertions. Since the immediate assertion is treated like an "if"
statement, the action block should also execute like the if statement
true/false blocks. Otherwise, the values seen in the action blocks would be
different that the values used for the evaluation. Also, since the
immediate assertion can be placed in the action blocks, its execution would
have little use.
The suggestion for the change in the LRM is to execute the action blocks
for the immediate assertions in the same region as the assert statement itself.
Surrendra
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 10:20:04 PDT