[sv-ec] Jeda SV-EC errata: #15 array of queues

summary: The ability to concisely specify array of queues is missing
         in the SV specification.

description:
The SV specification, 4.14 defines queues, which is one of the most
important data structure for Verification. The specification falls short
in providing the ability to concisely define array of queues to model
for instance a per-channel set of queues for packet based designs.

Array's of queues are proposed here as illustrated in the examples
hereforth:

e.g.
   int q[10][$]; // an array of 10 queues
   int q[][$]; // a dynamic array of queues
   int q[*][$]; // an associative array of queues

additional information:

The variable array range as declared in A.2.5 needs modification:

variable_dimension ::=
   { sized_or_unsized_dimension }
   | associative_dimension
   | queue_dimension

queue_dimension ::=
  '[''$'[':' constant_expression] ']'

is modified to as

variable_dimension ::=
   { sized_or_unsized_dimension } [queue_dimension]
   | associative_dimension [queue_dimension ]

queue_dimension ::=
  '[''$'[':' constant_expression] ']'
Received on Tue Aug 31 13:48:59 2004