Subject: Re: [sv-ac] SV AC Enhancement List
From: Cindy Eisner (EISNER@il.ibm.com)
Date: Tue May 27 2003 - 05:10:47 PDT
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?
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.
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));
4. p. 178, section 17.11.1: reference to the "desalination" sequence???
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
This archive was generated by hypermail 2b28 : Tue May 27 2003 - 05:15:34 PDT