RE: [sv-ac] RE: Mantis 2005

I was referring to:

 

 "The pass statement can, for example, record the number of successes
for a coverage log, but can be omitted altogether". I guess it is
implicitly explicit.

 

 

Doron

 

________________________________

From: Bresticker, Shalom 
Sent: Tuesday, October 28, 2008 12:08 PM
To: Bustan, Doron
Cc: sv-ac@server.eda.org
Subject: RE: [sv-ac] RE: Mantis 2005

 

Where do you see that cover may use action_block?

 

I see the following:

The action_block of an immediate assert or assume statement specifies
what actions are taken upon success or failure of the assertion.

and

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

 

Shalom

 

	
________________________________


	From: owner-sv-ac@server.eda.org
[mailto:owner-sv-ac@server.eda.org] On Behalf Of Bustan, Doron
	Sent: Tuesday, October 28, 2008 8:46 AM
	To: Seligman, Erik; Korchemny, Dmitry
	Cc: sv-ac@server.eda.org; stuart@sutherland-hdl.com
	Subject: [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 <http://www.mailscanner.info/>
, and is 
	believed to be clean. 

---------------------------------------------------------------------
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.