[sv-bc] Proposal for SV-BC62b Packed array of packed struct

Subject: [sv-bc] Proposal for SV-BC62b Packed array of packed struct
From: Dave Rich (David.Rich@synopsys.com)
Date: Thu Jan 30 2003 - 16:48:33 PST

Next message: Dave Rich: "[sv-bc] Clarification of SV-BC-18h,i"
Previous message: Jacobi, Dan: "[sv-bc] SV-BC-35 - follow up"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Here is one of my action items from the 1/22 F2F

In section 4.2 replace
OLD:
Packed arrays can only be made of the single bit types: bit, logic, reg, wire, and the other net types.
NEW
Packed arrays can only be made of the single bit types (bit, logic, reg, wire and the other net types), and recursively other packed arrays and packed structures.

In section A.2.2.1 replace
data_type ::=
integer_vector_type [ signing ] { packed_dimension } [ range ]
| integer_atom_type [ signing ] { packed_dimension }
| type_declaration_identifier
| non_integer_type
| struct [ packed ] [ signing ] { { struct_union_member } }
| union [ packed ] [ signing ] { { struct_union_member } }
| enum [ integer_type [ signing ] { packed_dimension } ]
{ enum_identifier [ = constant_expression ] { , enum_identifier [ = constant_expression ] } }
| void

with (note that struct, union, packed, enum, and the exterior{} are the only terms in bold)

data_type ::=
integer_vector_type [ signing ] { packed_dimension } [ range ]
| integer_atom_type [ signing ]
| type_declaration_identifier { packed_dimension }
| non_integer_type
| struct [ packed ] [ signing ] { { struct_union_member } } { packed_dimension }
| union [ packed ] [ signing ] { { struct_union_member } } { packed_dimension }
| enum [ integer_type [ signing ] { packed_dimension } ]
{ enum_identifier [ = constant_expression ] { , enum_identifier [ = constant_expression ] } }
| void

-- 
--
Dave Rich
Principal Engineer, CAE, VTG
Tel:  650-584-4026
Cell: 510-589-2625
DaveR@Synopsys.com

Next message: Dave Rich: "[sv-bc] Clarification of SV-BC-18h,i"
Previous message: Jacobi, Dan: "[sv-bc] SV-BC-35 - follow up"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Jan 30 2003 - 16:49:08 PST