That sentence refers to assert and assume statements. Shalom ________________________________ From: Bustan, Doron Sent: Tuesday, October 28, 2008 2:30 PM To: Bresticker, Shalom Cc: 'sv-ac@server.eda.org' Subject: 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.Received on Tue Oct 28 05:51:34 2008
This archive was generated by hypermail 2.1.8 : Tue Oct 28 2008 - 05:52:02 PDT