[sv-ec] Jeda SV-EC errata: #7 Missing clocking event selection to cycle_delay

Title:
   Missing clocking event selection to cycle_delay

Description
   Current spec. only allows to use default clocking for cycle_delay.
This limits the flexibility of using cycle_delay in the actual
testbench construction. This extension allows to use specific clocking
event on each cycle_delay declaration.

  <Example>

    ## 5 @( posedge clock1 ) ; // wait 5 posedge clock1 cycle.

  <BNF>
  Suggested modification to the current BNF definition:

   A.6.11 Clocking block

   cycle_delay ::=
     '##' integral_number [ clocing_event ]
     |
     '##' identifier [ clocing_event ]
     |
     '##' '(' expression ')' [ clocing_event ]

Note: non-terminal symbol in BNF is encapsulated in ' ' (single quote),
as bold characters can not be used in plain text.
Received on Tue Aug 31 00:29:31 2004