[Next]
[Up]
[Previous]
[Contents]
Next:
Operations on signals
Up:
SMV language overview
Previous:
Structs
Signals and assignments
A
signal
is an infinite sequence of values of a given type. For example,
0;1;0;1;...
is a sequence of type boolean (of course, it is alo an integer sequence).
Operations on signals
Assignments
Unit delay assignments - the ``next'' operator
State machines
Ken McMillan
Sat Jun 6 21:41:59 PDT 1998