Re: [sv-ac] Re: [sv-bc] SV-BC BNF issues review

I think pass_stat should have a semicolon as "pass_stat;", similar to
"fail_stat;". A statement can be either begin....end or a single statement
with a semicolon. In this example, since there is no description of
pass_stat and fail_stat, it is better to assume that they are single
statements and not syntactic entities.
Surrendra
At 02:32 PM 1/25/2005 -0800, you wrote:
>A LRM typo that Dan Jacobi points out in his BNF issues review
>is not directly about BNF, so I would like to highlight that
>typo separately to the editor --
>
>In the example at the bottom of page 224 (17.3)
>
> base_rule1:
> assert property (cont_prop(rst,in1,in2))
> pass_stat
> else fail_stat;
>
>there is either a missing semicolon in the statement 'pass_stat;'
>or both pass_stat and fail_stat should be in italics instead of Courier
>and there is an extra semicolon after 'fail_stat'.
>
>-- Brad

**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752

Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
Received on Wed Jan 26 07:00:59 2005