[sv-bc] question mantis 1447

I am reviewing the revised sentence in section 7.4.2 of the proposal:
"Unpacked fixed-size arrays can be made of any data type, and whereas
dynamic arrays, associative arrays and queues can only be made of
variable data types."

 

The use of the word "variable" is confusing on a few accounts:

1.	"Variable" is the antonym of "fixed," and quickly read, makes me
think that you are trying to restrict dynamic arrays to being made up of
variable-sized elements
2.	The data types allowed for group of data storage called
Variables is un-restricted, whereas the data types allowed for group of
data storage called Nets is restricted, so what is being restricted
here?
3.	It's not possible to specify the element type of an array as
belonging to variables or nets.

 

May I suggest making a friendly amendment and leaving that sentence in
its original form, an making a small modification in 6.6

 

Certain restrictions apply to the data type of a net. A valid data type
for a net shall be one of the following:

a) A 4-state integral type, including a packed array or packed
structure.

b) An fixed-size unpacked array or unpacked structure, where each
element has a valid data type for a net.

 

Dave

 

 

David Rich
Verification Technologist
Design Verification & Test Division
Mentor Graphics Corporation
dave_rich@mentor.com
Office:   408 487-7206
Cell:     510 589-2625

 


-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.