#$ TOOL ispDesignEXPERT 8.1.19.32
#$ DATE Fri Oct 27 17:19:06 2000
#$ MODULE traffic
#$ PINS 10 clock reset sensor1 sensor2 red1 yellow1 green1 red2 yellow2 green2
#$ NODES 39 state_0 state_1 G_62 N_61 N_62 N_68 N_69 N_70 N_71 N_72 N_74 N_75 N_76 \
#  sensor2_iZ0 state_iZ0Z_0 sensor1_iZ0 clock_c reset_c sensor1_c sensor2_c state_2 \
#  yellow1_c state_i_c_2 yellow2_c yellow1_c_iZ0 N_79 N_70_iZ0 N_71_iZ0 N_72_iZ0 N_81 \
#  N_68_iZ0 N_69_iZ0 N_82 N_62_i_c N_47_i_c N_61_i_0 N_86 N_87 N_88
.model traffic
.inputs clock.BLIF reset.BLIF sensor1.BLIF sensor2.BLIF state_0.BLIF \
state_1.BLIF G_62.BLIF N_61.BLIF N_62.BLIF N_68.BLIF N_69.BLIF N_70.BLIF \
N_71.BLIF N_72.BLIF N_74.BLIF N_75.BLIF N_76.BLIF sensor2_iZ0.BLIF \
state_iZ0Z_0.BLIF sensor1_iZ0.BLIF clock_c.BLIF reset_c.BLIF sensor1_c.BLIF \
sensor2_c.BLIF state_2.BLIF yellow1_c.BLIF state_i_c_2.BLIF yellow2_c.BLIF \
yellow1_c_iZ0.BLIF N_79.BLIF N_70_iZ0.BLIF N_71_iZ0.BLIF N_72_iZ0.BLIF \
N_81.BLIF N_68_iZ0.BLIF N_69_iZ0.BLIF N_82.BLIF N_62_i_c.BLIF N_47_i_c.BLIF \
N_61_i_0.BLIF N_86.BLIF N_87.BLIF N_88.BLIF
.outputs red1 yellow1 green1 red2 yellow2 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 N_61 \
N_62 N_68 N_69 N_70 N_71 N_72 N_74 N_75 N_76 sensor2_iZ0 state_iZ0Z_0 \
sensor1_iZ0 clock_c reset_c sensor1_c sensor2_c yellow1_c state_i_c_2 \
yellow2_c yellow1_c_iZ0 N_79 N_70_iZ0 N_71_iZ0 N_72_iZ0 N_81 N_68_iZ0 N_69_iZ0 \
N_82 N_62_i_c N_47_i_c N_61_i_0 N_86 N_87 N_88 G_62
.names N_81.BLIF state_0.D
0 1
.names N_82.BLIF state_1.D
0 1
.names N_79.BLIF state_2.D
0 1
.names N_61_i_0.BLIF N_61
0 1
.names N_62_i_c.BLIF N_62
0 1
.names N_76.BLIF N_86.BLIF N_68
11 1
.names N_74.BLIF N_75.BLIF N_69
11 1
.names state_1.BLIF state_iZ0Z_0.BLIF N_70
11 1
.names sensor2_iZ0.BLIF N_75.BLIF N_71
11 1
.names N_74.BLIF N_76.BLIF N_72
11 1
.names state_i_c_2.BLIF sensor2_c.BLIF N_74
11 1
.names sensor1_iZ0.BLIF state_iZ0Z_0.BLIF N_75
11 1
.names sensor1_c.BLIF state_iZ0Z_0.BLIF N_76
11 1
.names sensor2_c.BLIF sensor2_iZ0
0 1
.names state_0.BLIF state_iZ0Z_0
0 1
.names sensor1_c.BLIF sensor1_iZ0
0 1
.names state_i_c_2.BLIF N_61_i_0.BLIF yellow1_c
11 1
.names state_2.BLIF state_i_c_2
0 1
.names state_2.BLIF N_61_i_0.BLIF yellow2_c
11 1
.names yellow1_c.BLIF yellow1_c_iZ0
0 1
.names N_62.BLIF yellow1_c_iZ0.BLIF N_79
11 1
.names N_70.BLIF N_70_iZ0
0 1
.names N_71.BLIF N_71_iZ0
0 1
.names N_72.BLIF N_72_iZ0
0 1
.names N_71_iZ0.BLIF N_88.BLIF N_81
11 1
.names N_68.BLIF N_68_iZ0
0 1
.names N_69.BLIF N_69_iZ0
0 1
.names G_62.BLIF N_87.BLIF N_82
11 1
.names state_2.BLIF N_61.BLIF N_62_i_c
11 1
.names N_61.BLIF state_i_c_2.BLIF N_47_i_c
11 1
.names state_0.BLIF state_1.BLIF N_61_i_0
11 1
.names state_2.BLIF sensor2_iZ0.BLIF N_86
11 1
.names N_68_iZ0.BLIF N_69_iZ0.BLIF N_87
11 1
.names N_70_iZ0.BLIF N_72_iZ0.BLIF N_88
11 1
.names state_2.BLIF red1
1 1
0 0
.names yellow1_c.BLIF yellow1
1 1
0 0
.names N_47_i_c.BLIF green1
1 1
0 0
.names state_i_c_2.BLIF red2
1 1
0 0
.names yellow2_c.BLIF yellow2
1 1
0 0
.names N_62_i_c.BLIF green2
1 1
0 0
.names clock_c.BLIF state_0.C
1 1
0 0
.names reset_c.BLIF state_0.AR
1 1
0 0
.names clock_c.BLIF state_1.C
1 1
0 0
.names reset_c.BLIF state_1.AR
1 1
0 0
.names clock_c.BLIF state_2.C
1 1
0 0
.names reset_c.BLIF state_2.AR
1 1
0 0
.names clock.BLIF clock_c
1 1
0 0
.names reset.BLIF reset_c
1 1
0 0
.names sensor1.BLIF sensor1_c
1 1
0 0
.names sensor2.BLIF sensor2_c
1 1
0 0
.names state_1.BLIF state_iZ0Z_0.BLIF G_62
01 1
10 1
11 0
00 0
.end