Re: [sv-ac] SVA: LRM 17.8 // Parentheses with sequence_match_item

From: Surrendra Dudani <Surrendra.Dudani@synopsys.com>
Date: Mon May 03 2004 - 07:18:25 PDT

As you have pointed out, the examples do match the LRM. The syntax in the examples need to be corrected and filed as errata.
Surrendra
At 09:10 PM 5/2/2004 -0400, you wrote:

LRM requires parentheses when sequence match item is used.  Yet,
LRM document is not consistent with this requirement. 
17.8 Manipulating data in a sequence
...
sequence_expr ::=
...
| ( expression_or_dist {, sequence_match_item } ) [ boolean_abbrev ]
| ( sequence_expr {, sequence_match_item} ) [ sequence_abbrev ]
...
 
a ##1 (b[->1], x = e) ##1 c[*2]
sequence data_check;
  int x;
  a ##1 !a, x = data_in ##1 !b[*0:$] ##1 b && (data_out == x);
endsequence
 
Shouldn't that line be with parentheses, such as:
 a ##1 (!a, x = data_in) ##1 !b[*0:$] ##1 b && (data_out == x);
property data_check_p
  int x;
  a ##1 !a, x = data_in |=> !b[*0:$] ##1 b && (data_out == x);
endproperty
Shouldn't that line be with parentheses, such as:
  a ##1 (!a, x = data_in) |=> !b[*0:$] ##1 b && (data_out == x);
...
sequence rep_v;
  int x;
  ‘true,x = 0 ##0
  (!a [* 0:$] ##1 a, x = x+data)[*4] ##1 b ##1 c && (data_out == x);
endsequence
Shouldn't that line be with parentheses, such as:
 (!a [* 0:$] ##1 (a, x = x+data))[*4] ##1 b ##1 c && (data_out == x);
-----------------------------------------------------------------------------
Ben Cohen Trainer, Consultant, Publisher (310) 721-4830
http://www.vhdlcohen.com/ vhdlcohen@aol.com
Author of following textbooks:
* Using PSL/SUGAR for Formal and Dynamic Verification 2nd Edition, 2004 isbn 0-9705394-6-0
* Real Chip Design and Verification Using Verilog and VHDL, 2002 isbn 0-9705394-2-8
* Component Design by Example ", 2001 isbn 0-9705394-0-1
* VHDL Coding Styles and Methodologies, 2nd Edition, 1999 isbn 0-7923-8474-1
* VHDL Answers to Frequently Asked Questions, 2nd Edition, isbn 0-7923-8115
------------------------------------------------------------------------------

**********************************************
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 Mon May 3 07:18:33 2004