Re: [sv-bc] Email voting on all open proposals closing 3/15/03

Subject: Re: [sv-bc] Email voting on all open proposals closing 3/15/03
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Sun Mar 09 2003 - 07:59:57 PST

• Next message: Jacobi, Dan: "[sv-bc] typo in section 3.15"
• Previous message: Jacobi, Dan: "[sv-bc] signed casting in the BNF"
• In reply to: Jacobi, Dan: "RE: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Next in thread: Brad Pierce: "Re: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Reply: Brad Pierce: "Re: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

The second occurrence of 'output' is not in bold in SV_3.1_draft3. See both
A.2.1.2 and Syntax 17-2.

-- Brad
  -----Original Message-----

  3.SV-BC-81-1 (P-0535) both occurrences of the word output are in bold
quoting the BNF:

      output_declaration ::=
      output [ port_type ] list_of_port_identifiers
      | output data_type list_of_variable_port_identifiers

• Next message: Jacobi, Dan: "[sv-bc] typo in section 3.15"
• Previous message: Jacobi, Dan: "[sv-bc] signed casting in the BNF"
• In reply to: Jacobi, Dan: "RE: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Next in thread: Brad Pierce: "Re: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Reply: Brad Pierce: "Re: [sv-bc] Email voting on all open proposals closing 3/15/03"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Sun Mar 09 2003 - 08:00:31 PST