Subject: Re: [sv-ac] SV AC Enhancement List
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Tue May 27 2003 - 07:50:14 PDT
Hi Cindy,
Please see comments below.
Surrendra
At 03:10 PM 5/27/2003 +0300, you wrote:
>steve,
>
>all of these comments pertain to draft 6, which i believe is the latest:
>
>1. p. 150: from the grammar in syntax 17-2 it seems like the following is
>a legal sequence_expr:
>
>a ##1 ##2 ##1 b
>
>was this intended?
Yes. With the last delay syntactic change (from the syntax group), this was
allowed.
>2. p. 150: from the grammar in syntax 17-2 it seems like the syntax for
>goto_repetition is [*> n]. however, from the operator precedence table
>17-1 and the syntax 17-5 on page 155, and from the examples on page 157, it
>seems like the syntax is the more psl-like [*-> n]. thus, it seems like
>syntax 17-2 is the bad one, and should be fixed.
Yes. 17-2 needs to be corrected as *-> .
>3. p. 172: from the grammar in syntax 17-13 it seems like parentheses
>around the function_blocking_assignment are not allowed. but they are used
>in the example in the middle of this page:
>
>(valid_in, (x = pipe_in)) |-> ##5 (pipe_out1 == (x+1));
This has been fixed in the latest draft. Parenthesis are allowed.
>4. p. 178, section 17.11.1: reference to the "desalination" sequence???
Yes. Somehow this still hasn't been fixed. It should be "destination".
>regards,
>
>cindy.
>
>Cindy Eisner
>Formal Methods Group Tel: +972-4-8296-266
>IBM Haifa Research Laboratory Fax: +972-4-8296-114
>Haifa 31905, Israel e-mail:
>eisner@il.ibm.com
**********************************************
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
**********************************************
This archive was generated by hypermail 2b28 : Tue May 27 2003 - 07:58:56 PDT