#$ TOOL ispDesignEXPERT 8.1.19.32
#$ DATE Fri Oct 27 17:19:06 2000
#$ MODULE traffic
#$ PINS 10 clock reset sensor1 sensor2 red1 yellow1 green2 green1 red2 yellow2 
#$ NODES 3 state_0 state_1 state_2 
.type fr
.i 8
.o 15
.ilb clock reset sensor1 sensor2 state_0.Q state_1.Q state_2.Q red2
.ob red1 yellow1 green2 state_0.C state_0.AR state_1.C state_1.AR state_2.C state_2.AR red2 yellow2 green1 state_0.D state_1.D state_2.D
.p 35
1------- ~~~1~1~1~~~~~~~
-1------ ~~~~1~1~1~~~~~~
--000--- ~~~~~~~~~~~~1~~
----01-- ~~~~~~~~~~~~11~
----10-- ~~~~~~~~~~~~~1~
------1- 1~~~~~~~~~~~~~~
----0-1- ~~1~~~~~~~~~~~1
--100-1- ~~~~~~~~~~~~~1~
----111- ~~~~~~~~~~1~~~~
-----01- ~~1~~~~~~~~~~~1
------0- ~~~~~~~~~1~~~~~
----0--1 ~~~~~~~~~~~1~~~
--110--1 ~~~~~~~~~~~~1~~
--010--1 ~~~~~~~~~~~~~1~
----11-1 ~1~~~~~~~~~~~~1
-----0-1 ~~~~~~~~~~~1~~~
0------- ~~~0~0~0~~~~~~~
-0------ ~~~~0~0~0~~~~~~
----1--- ~~~~~~~~~~~~0~~
----0--- ~0~~~~~~~~0~~~~
----11-- ~~0~~~~~~~~0~0~
-----0-- ~0~~~~~~~~0~~~~
--01-0-- ~~~~~~~~~~~~0~~
--10-0-- ~~~~~~~~~~~~0~~
--1100-- ~~~~~~~~~~~~~0~
--0000-- ~~~~~~~~~~~~~0~
------1- ~~~~~~~~~0~~~~~
------0- 0~0~~~~~~~0~~~~
----0-0- ~~~~~~~~~~~~~~0
-----00- ~~~~~~~~~~~~~~0
---0000- ~~~~~~~~~~~~~0~
-------0 ~0~~~~~~~~~0~~~
----11-0 ~~~~~~~~~~~~~~0
---1-0-0 ~~~~~~~~~~~~0~~
---100-0 ~~~~~~~~~~~~~0~
.end