Next:
Lexical tokens
Up:
The SMV language
Previous:
Abstract signals
Contents
Syntax
This section gives a BNF grammar for the SMV language.
Subsections
Lexical tokens
Identifiers
Expressions
Types
Statements
Module definitions
Programs
2002-10-28
