[sv-bc] statement ##5; not in grammar


Subject: [sv-bc] statement ##5; not in grammar
From: Hermann.Ilmberger@infineon.com
Date: Wed Dec 17 2003 - 08:51:46 PST


Chapter 15 of the LRM has several examples with cycle_delays like

## 5; // wait 5 cycles (clocking events) using the default clocking

Chapter 15.10 talks about a "cycle delay statement".
How can the statement above be produced from the formal grammar?
Here is what I can find, none allows the simple ##5; statement:

A.6.11 Clocking domain
cycle_delay ::=
  ## expression

clocking_drive ::=
  clockvar_expression <= [ cycle_delay ] expression
| cycle_delay clockvar_expression <= expression

A.2.10 Assertion declarations
cycle_delay_range ::=
  ## constant_expression
| ## [ cycle_delay_const_range_expression ]

sequence_expr ::=
  cycle_delay_range sequence_expr { cycle_delay_range sequence_expr }
| sequence_expr cycle_delay_range sequence_expr { cycle_delay_range
sequence_expr }
| ...

-Hermann



This archive was generated by hypermail 2b28 : Wed Dec 17 2003 - 08:52:24 PST