#$ 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
.model traffic
.inputs clock.BLIF reset.BLIF sensor1.BLIF sensor2.BLIF state_0.BLIF \
state_1.BLIF state_2.BLIF red2.BLIF
.outputs red1 yellow1 green2 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 red2 yellow2 green1
.names sensor1.BLIF sensor2.BLIF state_0.BLIF state_1.BLIF red2.BLIF state_0.D
110-1 1
000-- 1
--01- 1
-1-00 0
10-0- 0
01-0- 0
--1-- 0
.names sensor1.BLIF sensor2.BLIF state_0.BLIF state_1.BLIF state_2.BLIF \
red2.BLIF state_1.D
010--1 1
100-1- 1
--10-- 1
--01-- 1
-100-0 0
-0000- 0
0000-- 0
1100-- 0
--11-- 0
.names state_0.BLIF state_1.BLIF state_2.BLIF red2.BLIF state_2.D
11-1 1
-01- 1
0-1- 1
11-0 0
-00- 0
0-0- 0
.names state_2.BLIF red2
0 1
1 0
.names state_0.BLIF state_1.BLIF state_2.BLIF yellow2
111 1
-0- 0
0-- 0
--0 0
.names state_0.BLIF state_1.BLIF red2.BLIF green1
-01 1
0-1 1
11- 0
--0 0
.names state_2.BLIF red1
1 1
0 0
.names state_0.BLIF state_1.BLIF red2.BLIF yellow1
111 1
-0- 0
0-- 0
--0 0
.names state_0.BLIF state_1.BLIF state_2.BLIF green2
-01 1
0-1 1
11- 0
--0 0
.names clock.BLIF state_0.C
1 1
0 0
.names reset.BLIF state_0.AR
1 1
0 0
.names clock.BLIF state_1.C
1 1
0 0
.names reset.BLIF state_1.AR
1 1
0 0
.names clock.BLIF state_2.C
1 1
0 0
.names reset.BLIF state_2.AR
1 1
0 0
.end