RE: [sv-ac] Two new issues filed

Karen, here's my opinion. I think

1. None of the built-in methods show up in BNF. They are typically listed in
some table (e.g. sample() in predefined coverage methods). Adding them as
keywords is not needed and wrong since their context is obvious (and user in
many instances is allowed to put any identifier e.g. mypacket.blah ...).

Seems to me the general philosophy in LRM is to list, typically in a table,
in this case for ended/matched they are only 2, and listed textually along
with sampling functions in 17.7.3.

So I don't see an issue, unless/until all the methods are organized
differently.

2. Not sure which LRM version the feedback came from but
P1800-draft3-01-15.pdf seems to have Errata 181 as taking care of the
example (unless I miss which one).

Thx.
-Bassam.

--
Dr. Bassam Tabbara
Architect, R&D
Novas Software, Inc.
(408) 467-7893
-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Karen
Pieper
Sent: Friday, February 11, 2005 4:33 PM
To: sv-ac@eda.org
Subject: [sv-ac] Two new issues filed
Hi, all,
I have filed two new issues in the SVDB at the request of Atrenta:
http://www.eda-twiki.org/svdb/bug_view_page.php?bug_id=0000380
http://www.eda-twiki.org/svdb/bug_view_page.php?bug_id=0000381
The body of the two issues is:
1. Section 17.7.10 and 17.12.5 of the LRM refers to using "ended" and
"matched" with sequences. But both of them do not appear anywhere in the
BNF, and are not even System Verilog keywords. 
2. Following example as mentioned in Section 17.8 of LRM sequence
data_check; int x; a ##1 !a, x = data_in ##1 !b[*0:$] ##1 b && (data_out ==
x); endsequence cannot be parsed by the current BNF. The BNF mentions
sequence_expr : ( expression_or_dist {, sequence_match_item } ) [
boolean_abbrev ] | ( sequence_expr {, sequence_match_item } ) [
sequence_abbrev ] so the example should be sequence data_check; int x; a ##1
(!a, x = data_in) ##1 !b[*0:$] ##1 b && (data_out == x); endsequence 
I'd appreciate it if someone could take a look and comment in the SVDB.
Thanks,
Karen