[Next] [Up] [Previous] [Contents]
Next: Booleanenumerated and subrange Up: SMV language overview Previous: SMV language overview

Data types and type declarations

A type declaration is of the form

        <signal> : <type>;
where <signal> is the name of a signal and <type> is the set of values that the signal may take.





Ken McMillan
Sat Jun 6 21:41:59 PDT 1998