[sv-bc] SV-BC19-60 -- Proposal (A.1.4, A.1.5, A.1.6, A.2.6, A.2.7, 6-1, 10-1, 10-2, 17-1, 18-1)

Subject: [sv-bc] SV-BC19-60 -- Proposal (A.1.4, A.1.5, A.1.6, A.2.6, A.2.7, 6-1, 10-1, 10-2, 17-1, 18-1)
From: Brad Pierce (Brad.Pierce@synopsys.com)
Date: Fri Feb 28 2003 - 17:17:41 PST

• Next message: Jacobi, Dan: "RE: [sv-bc] SV-BC19-60 -- Proposal (A.1.4, A.1.5, A.1.6, A.2.6, A .2.7, 6-1, 10-1, 10-2, 17-1, 18-1)"
• Previous message: Karen Pieper: "[sv-bc] SV-BC Issues list and minutes of the 2/27 meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Proposal

----------------------------------------------------------------------------

----
In A.1.4, ADD the following nonterminal --
   non_interface_port_declaration ::=
         { attribute_instance } inout_declaration
       | { attribute_instance } input_declaration
       | { attribute_instance } output_declaration
and REPLACE
   port_declaration ::=
         { attribute_instance } inout_declaration
       | { attribute_instance } input_declaration
       | { attribute_instance } output_declaration
       | { attribute_instance } interface_port_declaration
WITH
   port_declaration ::=
         non_interface_port_declaration
       | { attribute_instance } interface_port_declaration
---
In A.1.5 and 17-1, REPLACE
   module_item ::=
         port_declaration ';'
       | non_port_module_item
WITH
   module_item ::=
         non_interface_port_declaration ';'
       | non_port_module_item
---
In A.1.6 6-1, and 18-1, REPLACE
   interface_item ::=
         port_declaration ';'
       | non_port_interface_item
WITH
   interface_item ::=
         non_interface_port_declaration ';'
       | non_port_interface_item
---
In A.2.6 and 10-2, REPLACE
   function_item_declaration ::=
         block_item_declaration
       | { attribute_instance } input_declaration ';'
       | { attribute_instance } output_declaration ';'
       | { attribute_instance } inout_declaration ';'
WITH
   function_item_declaration ::=
         block_item_declaration
       | non_interface_port_declaration ';'
and REPLACE
   function_port_item ::=
         { attribute_instance } input_declaration
       | { attribute_instance } output_declaration
       | { attribute_instance } inout_declaration
WITH
   function_port_item ::= non_interface_port_declaration
---
In A.2.7 and 10-1, REPLACE
   task_item_declaration ::=
         block_item_declaration
       | { attribute_instance } input_declaration ';'
       | { attribute_instance } output_declaration ';'
       | { attribute_instance } inout_declaration ';'
WITH
   task_item_declaration ::=
         block_item_declaration
       | non_interface_port_declaration ';'
and REPLACE
   task_port_item ::=
         { attribute_instance } input_declaration
       | { attribute_instance } output_declaration
       | { attribute_instance } inout_declaration
       | { attribute_instance } port_type list_of_port_identifiers
WITH
   task_port_item ::=
         non_interface_port_declaration
       | { attribute_instance } port_type list_of_port_identifiers
----------------------------------------------------------------------------
----

• Next message: Jacobi, Dan: "RE: [sv-bc] SV-BC19-60 -- Proposal (A.1.4, A.1.5, A.1.6, A.2.6, A .2.7, 6-1, 10-1, 10-2, 17-1, 18-1)"
• Previous message: Karen Pieper: "[sv-bc] SV-BC Issues list and minutes of the 2/27 meeting"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Fri Feb 28 2003 - 17:18:11 PST