Subject: [sv-bc] BNF for SV-BC18g port connection rules
From: Dave Rich (David.Rich@synopsys.com)
Date: Mon Mar 17 2003 - 23:36:33 PST
These changes are to be made after the application of SV-BC19-60, which
has just passed. Also, one sentence in the LRM needs to be updated to
reflect that variables can no longer be used in inout ports of interfaces
In section A.1.4 Module parameters and ports
REPLACE
non_generic_port_declaration ::=
{ attribute_instance } inout_declaration
| { attribute_instance } input_declaration
| { attribute_instance } output_declaration
| interface_port_declaration
WITH
non_generic_port_declaration ::=
{ attribute_instance } inout_declaration
| { attribute_instance } input_declaration
| { attribute_instance } output_declaration
| { attribute_instance } ref_declaration
| { attribute_instance } interface_port_declaration
In section A.2.1.2 Port declarations
ADD
ref_declaration ::= 'ref' data_type list_of_port_identifiers
Note to the BNF editor: data_type above is not optional as it is in all
other productions of port declarations. This is because a ref cannot be
a wire, which is the default type. data_type below is optional because
the default is picked up from its declaration in the interface
In section A.2.9 ADD to the production of modport_port
| 'ref' [data_type] list_of_port_identifiers
Also I found a sentence that needs to be updated in 13.2.2
REPLACE
"When an interface is used as a port, the variables and nets in it are
assumed to be inout ports."
WITH
"When an interface is used as a port, the nets in the interface are
assumed to be connected by inout ports and the variables connected by
ref ports."
-- -- Dave Rich Principal Engineer, CAE, VTG Tel: 650-584-4026 Cell: 510-589-2625 DaveR@Synopsys.com
This archive was generated by hypermail 2b28 : Mon Mar 17 2003 - 23:37:31 PST