See Also

The Variable Section has the following BNF syntax:

<variable section> ::=
   VARIABLE
      <port list> : <variable type> ;
      { <port list> : <variable type> ; }

<variable type> ::=
   NODE
   TRI_STATE_NODE
   |   <subdesign>
   |   <primitive>
   |   <state machine>

<state machine> ::=
   <symbolic name> : MACHINE [ OF BITS <bits> ] WITH STATES ( <state> { , <state> } )

<state> ::=
   <symbolic name> [ = <state value> ]

<state value> ::=
   <number>
   |   <symbolic name>

The Variable Section can also include If Generate Statements. Refer also to If Generate Statement Syntax.

Back to Top