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