[sv-ac] RE: Mantis 2005

Looking at the text below, I would live it as is. It is not perfect, but
we do say explicitly that cover may use action_block.

 

"The action_block of an immediate assert or assume statement specifies
what actions are taken upon success

or failure of the assertion. The statement associated with success is
the first statement. It is called the

pass statement and shall be executed if the expression evaluates to
true. The pass statement can, for example,

record the number of successes for a coverage log, but can be omitted
altogether. If the pass statement is

omitted, then no user-specified action is taken when the assert
expression of the immediate assert or

assume statement is true. The statement associated with else is called
the fail statement and shall be executed

if the expression evaluates to false. The else statement can also be
omitted. The action block shall be

enabled to execute immediately after the evaluation of the assert
expression of the immediate assert or

assume statement. The execution of pass and fail statements can be
controlled by using assertion action

control tasks. The assertion action control tasks are described in
20.12.

The immediate cover statement specifies that successful evaluation of
its expression is a coverage goal.

Tools shall collect coverage information and report the results at the
end of simulation or on demand via an

assertion API (see Clause 39). The results of coverage for an immediate
cover statement shall contain the

following:

- Number of times evaluated

- Number of times succeeded

A pass statement for an immediate cover may be specified in
statement_or_null. The pass statement shall

be executed if the expression evaluates to true. The pass statement
shall be enabled to execute immediately

after the evaluation of the expression of the immediate cover."

 

________________________________

From: Seligman, Erik 
Sent: Monday, October 27, 2008 4:41 PM
To: Korchemny, Dmitry; Bustan, Doron
Cc: sv-ac@server.eda.org; stuart@sutherland-hdl.com
Subject: RE: Mantis 2005

 

Yes, it looks to me like you are correct-- as we see for non-deferred
immediate covers (such as on p.303 of draft 7a), covers just have a
single action statement, since they do not allow an 'else' action.

 

________________________________

From: Korchemny, Dmitry 
Sent: Monday, October 27, 2008 1:21 AM
To: Bustan, Doron; Seligman, Erik
Cc: sv-ac@server.eda.org; stuart@sutherland-hdl.com
Subject: Mantis 2005

Hi Doron, Erik,

 

During Draft7 review we added an editor note 7144 requesting the
following change:

 

The draft says 

 

deferred_immediate_cover_statement ::=

cover #0 ( expression ) statement_or_null

 

The proposal says

 

deferred_immediate_cover_statement ::==

cover #0 ( expression ) action_block

 

But the Draft7 was correct and we need to revert this change. I added a
new editor note 7672.

 

Let me know if you agree.

 

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.