Example: readable counter

module counter:

input go, reset, req; output ack(integer);

var t:integer in

loop do

t:=0;

every go do
t:=t+1;

await req; emit ack(t)
end

watching reset

end end.

go => t:=t+1

reset => t:=0

s1

s0

go => t:=t+1

req and not go

=> ack(t)

Previous slide

Next slide

Back to first slide

View graphic version