[sv-ec] Jeda SV-EC errata: #4 Incorrect wait_order definition

Title:
   Incorrect wait_order definition

Description:
   wait_order statement definition must use { } instead of [ ] to
enable multiple identifiers to be declared.

   <BNF> in A.6.5

   wait_statement ::=
   ..
   |
   'wait_order' '(' hierarchical_identifier [ ','
hierarchical_identifier ] ')'

This should be:

   'wait_order' '(' hierarchical_identifier { ','
hierarchical_identifier } ')'
Received on Tue Aug 31 00:18:43 2004