Subject: [sv-ec] Re: [sv-ac] immediate assert
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Tue Apr 22 2003 - 11:15:34 PDT
Surrendra is absolutely correct.
Property assertions are declarative and do not have an execution context
in which to execute the pass/fail action. Thus, having them execute in the
Reactive region gives users the ability to react to them in a deterministic
manner, regardless of how vendors choose to implement the property
evaluation.
Immediate assertions do have a well defined execution context so there's
no need to have them execute anywhere other than in their context.
Arturo
----- Original Message -----
From: "Surrendra Dudani" <Surrendra.Dudani@synopsys.COM>
To: <sv-ac@eda.org>
Sent: Tuesday, April 22, 2003 10:18 AM
Subject: [sv-ac] immediate assert
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 - 11:18:43 PDT