[P1800] Re: [sv-champions] Champions summary spreadsheet posted

Regarding issue V-609, of which the minutes say,

"V-609: A.8.3-4:string should be a primary not an expression. Stu is concerned about potential side effects not
looked at by the committee.

Recommends that we send this back to ETF for further evaluation of side effects of where else constant_primary
and primary are used in the BNF and possible effects to the VPI: Bassam, Stu

No opinion: Dave"

Brad Pierce previously pointed out to me that an equivalent change was already done in the SV BNF.

He pointed me to :

    http://www.eda-twiki.org/sv/SV3.1a_bnf_no_footnotes.htm#primary_literal_DEF_
    http://www.eda-twiki.org/sv-ac/hm/att-1254/01-assertions_bnf.htm

There you have
primary_literal ::= number | time_literal | unbased_unsized_literal | string_literal

constant_primary ::=
  primary_literal
  | ps_parameter_identifier
  | ps_specparam_identifier
  | genvar_identifier
  | [ package_scope | class_scope ] enum_identifier
  | constant_concatenation
  | constant_multiple_concatenation
  | constant_function_call
  | ( constant_mintypmax_expression )
  | constant_cast

primary ::=
  primary_literal
  | [ implicit_class_handle . | class_scope | package_scope ] hierarchical_identifier select
  | empty_queue
  | concatenation
  | multiple_concatenation
  | function_subroutine_call
  | ( mintypmax_expression )
  | cast
  | streaming_expression
  | sequence_method_call
  | $
  | null

V-609 brings 1364 into alignment with SV on this point.

Shalom

Karen Pieper wrote:

> Hi, all,
>
> I have posted the minutes and the spreadsheet update reflecting the Champions input on the SV web site.
>
> Minutes: http://www.eda-twiki.org/sv/sv-champions/minutes/sv-champ_04_12_07.htm
> Issues list: http://www.eda-twiki.org/sv/sv-champions/Resolved_Issues_04_12_02.htm
>
> Please let me know if you see any issues or have any questions.
>
> Thanks,
>
> Karen

--
Shalom Bresticker                        Shalom.Bresticker @freescale.com
Design & Verification Methodology                    Tel: +972 9  9522268
Freescale Semiconductor Israel, Ltd.                 Fax: +972 9  9522890
POB 2208, Herzlia 46120, ISRAEL                     Cell: +972 50 5441478
[ ]Freescale Internal Use Only      [ ]Freescale Confidential Proprietary