See Also

The Logic Section has the following BNF syntax

BEGIN
   <statements>
END;

<statements> ::=
   <statement>
   { <statement> }

<statement> ::=
   <defaults statement>
   |   <boolean equation>
   |   <boolean control equation>
   |   <case statement>
   |   <if then statement>
   |   <if generate statement>
   |   <in-line logic function reference>
   |   <for generate statement>
   |   <assert statement>
   |   <truth table statement>

Back to Top