wash.blj

洗衣机的程序 洗衣机的程序

#$ TOOL ispLEVER 6.1.00.37.42.06
#$ DATE Sat Apr 19 19:02:15 2008
#$ TITLE yuanli.bls 
#$ PROPERTY PLSI LOCK OK 15
#$ PROPERTY PLSI LOCK TS 16
#$ PROPERTY PLSI LOCK QX 9
#$ PROPERTY PLSI LOCK XI 8
#$ PROPERTY PLSI LOCK FZ 7
#$ PROPERTY PLSI LOCK ZZ 6
#$ PROPERTY PLSI LOCK CS 5
#$ PROPERTY PLSI LOCK JS 4
#$ PROPERTY PLSI LOCK CP 3
#$ MODULE wash
#$ PINS 9 OK'ke,o'  TS'ke,o'  QX'ke,o'  XI'ke,o'  FZ'ke,o'  ZZ'ke,o'  CS'ke,o'  JS'ke,o'  CP'ke' 
#$ NODES 18 N_1'o'  N_2'o'  N_3'o'  N_4'o'  N_5'o'  N_6'o'  N_7'o'  N_8'o'  N_9'o'  N_10'o'  N_11'o'  N_12'o'  N_13'o'  N_14'o'  N_15'o'  N_16'o'  N_17'o'  N_18'o' 

.model yuanli
.inputs N_3.BLIF N_2.BLIF N_5.BLIF N_4.BLIF N_7.BLIF N_6.BLIF N_9.BLIF N_8.BLIF \
CP.BLIF N_1.BLIF N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF \
N_16.BLIF N_17.BLIF N_18.BLIF
.outputs OK TS QX XI FZ ZZ CS JS N_1 N_10.C N_11.C N_12.C N_13.C N_14.C N_15.C \
N_16.C N_17.C N_18.C N_9 N_7 N_8 N_3 N_5 N_2 N_4 N_6 N_10.D N_11.D N_12.D \
N_13.D N_14.D N_15.D N_16.D N_17.D N_18.D
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_10.BLIF N_9
001101-11 1
0010010-1 1
01001---0 1
0100-1101 1
01000111- 1
000100111 1
00100101- 1
010010--- 1
01001-0-- 1
001-0110- 1
0001010-- 1
0011011-- 1
--1---000 0
---1-00-- 0
-1--0--00 0
-0-0--11- 0
---1-0-0- 0
---000--- 0
--01-11-- 0
-1--0-0-- 0
----00--0 0
-1-1----- 0
-000----- 0
-0--1---- 0
----11111 0
--11--00- 0
--11--0-0 0
-11------ 0
--1--0--- 0
1-------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_7
01000010 1
01000101 1
00110001 1
00100000 1
00111111 1
00101110 1
00011101 1
00001100 1
00001001 1
00001111 1
0001-010 1
0011-100 1
0010-011 1
--01--11 0
-0-0-101 0
---1-011 0
---1-000 0
---1-110 0
--01-00- 0
--10-10- 0
-1----00 0
--1-1-01 0
---101-1 0
-0000--- 0
--0--011 0
--01--00 0
--0--110 0
-0-00-01 0
-1--1--- 0
-1---0-1 0
--1--010 0
----011- 0
---010-0 0
--10-1-1 0
-1-1---- 0
1------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_10.BLIF N_8
00100111- 1
0001011-- 1
001-1000- 1
00-110000 1
001110-00 1
0011100-- 1
000000-00 1
0000000-- 1
001-100-0 1
---01-1-- 0
---01--11 0
--0-1--1- 0
--01-01-- 0
--11-1--- 0
--0-1---1 0
--1-0-0-- 0
--00-1--- 0
-----011- 0
--1-0--0- 0
-----01-1 0
---10-0-- 0
----11--- 0
--001---- 0
-1------- 0
1-------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_10.BLIF N_3
01001110- 1
0100111-0 1
------0-- 0
-----0--- 0
----0---- 0
---1----- 0
--1------ 0
-0------- 0
1-------- 0
-------11 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_5
0100-000 1
01000--- 1
00-1-11- 1
00-11--- 1
001----- 1
-1--11-- 0
--0100-- 0
-1--1-1- 0
--010-0- 0
-1--1--1 0
-000---- 0
-11----- 0
-1-1---- 0
1------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_2
01001-01 1
0100110- 1
0100101- 1
-----000 0
-----11- 0
----0--- 0
---1---- 0
--1----- 0
-0------ 0
1------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_4
000-00- 1
000-0-0 1
0000--- 1
---11-- 0
---1-11 0
--1---- 0
-1----- 0
1------ 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF \
N_11.BLIF N_10.BLIF N_6
010011-0- 1
01001-1-0 1
01001-01- 1
001100000 1
010000001 1
001111100 1
001111011 1
000001111 1
001011111 1
001011001 1
001011010 1
000111101 1
000110111 1
000111110 1
0011-0101 1
000111000 1
0011-0110 1
000010000 1
0010-0100 1
0010-0011 1
0100-0111 1
0001-0001 1
0100-1000 1
0100-0010 1
0001-0010 1
0-0010101 1
0-0011100 1
0-0010110 1
0-0011011 1
----010-1 0
---1-0100 0
--10-110- 0
-00-001-- 0
-1--1000- 0
--0-11111 0
--11-1-10 0
--11-1-01 0
-0-0-1110 0
--010--00 0
--10-011- 0
-1--01-1- 0
-0-0-1101 0
--10-01-1 0
--01-10-1 0
-000-001- 0
---000000 0
--0-0-011 0
---110-00 0
--1-1-000 0
--11-0-11 0
---1-1111 0
--1--0010 0
--1--0001 0
--01--011 0
-00--1010 0
-0-0-0111 0
-000-00-1 0
-000-100- 0
--0-0-10- 0
--0-0-1-0 0
--1-01--- 0
--10-1011 0
-00--0100 0
--01-010- 0
--01-01-0 0
--01--100 0
-1-1----- 0
-11------ 0
1-------- 0
.names N_3.BLIF OK
1 1
0 0
.names N_2.BLIF TS
1 1
0 0
.names N_5.BLIF QX
1 1
0 0
.names N_4.BLIF XI
1 1
0 0
.names N_7.BLIF FZ
1 1
0 0
.names N_6.BLIF ZZ
1 1
0 0
.names N_9.BLIF CS
1 1
0 0
.names N_8.BLIF JS
1 1
0 0
.names CP.BLIF N_1
1 1
0 0
.names N_1.BLIF N_10.C
1 1
0 0
.names N_1.BLIF N_11.C
1 1
0 0
.names N_1.BLIF N_12.C
1 1
0 0
.names N_1.BLIF N_13.C
1 1
0 0
.names N_1.BLIF N_14.C
1 1
0 0
.names N_1.BLIF N_15.C
1 1
0 0
.names N_1.BLIF N_16.C
1 1
0 0
.names N_1.BLIF N_17.C
1 1
0 0
.names N_1.BLIF N_18.C
1 1
0 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_16.BLIF \
N_17.BLIF N_18.BLIF N_10.D
0---000-0 1
0--0-00-0 1
0-0--00-0 1
00---00-0 1
0------00 1
1-------- 0
--------1 0
-----1-1- 0
------11- 0
-1111--1- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_16.BLIF \
N_17.BLIF N_18.BLIF N_11.D
01--000-0 1
01-0-00-0 1
010--00-0 1
10-----00 1
10---00-0 1
01-----00 1
--------1 0
11------- 0
00------- 0
-----1-1- 0
------11- 0
0-111--1- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_15.BLIF N_16.BLIF N_17.BLIF N_18.BLIF \
N_12.D
11000-0 1
110--00 1
-0100-0 1
0-100-0 1
-01--00 1
0-1--00 1
------1 0
0-0---- 0
-00---- 0
---1-1- 0
----11- 0
111---- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_15.BLIF N_16.BLIF N_17.BLIF \
N_18.BLIF N_13.D
111000-0 1
1110--00 1
--0100-0 1
-0-100-0 1
0--100-0 1
--01--00 1
-0-1--00 1
0--1--00 1
-------1 0
0--0---- 0
-0-0---- 0
--00---- 0
----1-1- 0
-----11- 0
1111---- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_16.BLIF \
N_17.BLIF N_18.BLIF N_14.D
1111000-0 1
11110--00 1
---0100-0 1
--0-100-0 1
-0--100-0 1
0---100-0 1
---01--00 1
--0-1--00 1
-0--1--00 1
0---1--00 1
--------1 0
0---0---- 0
-0--0---- 0
--0-0---- 0
---00---- 0
-----1-1- 0
------11- 0
11111---- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_17.BLIF \
N_18.BLIF N_15.D
11111000 1
----0100 1
---0-100 1
--0--100 1
-0---100 1
0----100 1
------1- 0
-------1 0
0----0-- 0
-0---0-- 0
--0--0-- 0
---0-0-- 0
----00-- 0
111111-- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_16.BLIF \
N_17.BLIF N_18.BLIF N_16.D
111111000 1
-----0100 1
----0-100 1
---0--100 1
--0---100 1
-0----100 1
0-----100 1
-------1- 0
--------1 0
0-----0-- 0
-0----0-- 0
--0---0-- 0
---0--0-- 0
----0-0-- 0
-----00-- 0
1111111-- 0
.names N_10.BLIF N_11.BLIF N_12.BLIF N_13.BLIF N_14.BLIF N_15.BLIF N_16.BLIF \
N_17.BLIF N_18.BLIF N_17.D
111111100 1
----00010 1
---0-0010 1
--0--0010 1
-0---0010 1
0----0010 1
--------1 0
0----1--- 0
-0---1--- 0
--0--1--- 0
---0-1--- 0
----01--- 0
-----01-- 0
-----10-- 0
-----1-1- 0
-----0-0- 0
111110--- 0
.names N_18.D
.end