Download Waveform Analyzer Manual

Waveform Analyzer Manual
break-statement ::= break ;
expression-statement ::= expression ;
| ! expression ;
assert-statement ::= assert ( boolean-expression );
boolean-expression ::= expression == expression
| expression != expression
| expression
| boolean-expression && boolean-expression
| boolean-expression || boolean-expression
| ! boolean-expression
| ( boolean-expression )
(here, && has higher precedence than || and both are left associative)
expression ::= ?
| number
| identifier
Numbers must be binary, octal, decimal or hexadecimal integers, and use the same
syntax as Handel-C. (i.e. 0b... for binary numbers, 0... for octal numbers, 0x... for hex
numbers; all other numbers are treated as decimals).
Identifiers are C-style identifiers.
www.celoxica.com
Page 19