RE: [sv-ac] RE: Syntax problem with deferred assertion example?

This is a typographical errata that I can fix in the next draft (probably
the re-ballot draft) even if it is not in a ballot comment. I will keep
track of the errata and make the correction.

Stu
~~~~~~~~~~~~~~~~~~~~~~~~~~~
Stuart Sutherland

Sutherland HDL, Inc.

stuart@sutherland-hdl.com

503-692-0898
www.sutherland-hdl.com

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of
Bresticker, Shalom
Sent: Thursday, February 23, 2012 9:23 PM
To: Tapan Kapoor; 'sv-ac@eda-stds.org'
Subject: [sv-ac] RE: Syntax problem with deferred assertion example?

No.

It is still unfixed in the ballot draft, page 341, lines 8 and 10.

It should be reported on the ballot vote.

Thanks,

Shalom

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Tapan
Kapoor
Sent: Friday, February 24, 2012 7:04 AM
To: 'sv-ac@eda-stds.org'
Subject: [sv-ac] Syntax problem with deferred assertion example?

Hi,

The terminating ; (semicolon) is not there in the pass statement of action
block from the following example in 16.4.2 on page 314 of LRM-2009 (page 341
of d4):

always @(a or b) begin : b1

a3: assert #0 (a == b) rptobj.success(0); else rptobj.error(0, a, b);

#1;

a4: assert #0 (a == b) rptobj.success(1); else rptobj.error(1, a, b);

end

Whereas, as per the BNF A.6.10, A.6.3, A.6.4 and A.6.9 it seem there should
be a terminating semicolon. Is this a known/reported issue?

Warm regards,

Tapan

"You must be the change you want to see in the world" : Mahatma Gandhi

-- 
This message has been scanned for viruses and 
dangerous content by  <http://www.mailscanner.info/> MailScanner, 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  <http://www.mailscanner.info/> MailScanner, and is 
believed to be clean. 
-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.