#$ 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 f
.i 8
.o 15
.ilb clock reset sensor1 sensor2 state_0.Q state_1.Q state_2.Q red2.D
.ob red1 yellow1 green2 green1 red2 yellow2 state_0.D state_0.C state_0.AR
 state_1.D state_1.C state_1.AR state_2.D state_2.C state_2.AR
.phase 111111111111111
.p 16
------1- 100000000000000
----11-1 010000000000100
----0-1- 001000000000100
-----01- 001000000000100
----0--1 000100000000000
-----0-1 000100000000000
------0- 000010000000000
----111- 000001000000000
--000--- 000000100000000
----01-- 000000100100000
--110--1 000000100000000
1------- 000000010010010
-1------ 000000001001001
----10-- 000000000100000
--100-1- 000000000100000
--010--1 000000000100000
.end