wash.bl3

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

#$ 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 yuanli
#$ PINS 9 CP'ke'  OK'ke,o'  TS'ke,o'  QX'ke,o'  XI'ke,o'  FZ'ke,o'  ZZ'ke,o'  CS'ke,o'  JS'ke,o' 
#$ NODES 9 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 CP.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 N_10.REG N_10.C N_11.REG N_11.C N_12.REG N_12.C N_13.REG N_13.C \
N_14.REG N_14.C N_15.REG N_15.C N_16.REG N_16.C N_17.REG N_17.C N_18.REG \
N_18.C CS FZ JS OK QX TS XI ZZ
.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_10.REG
0-00---00 1
0-00--0-0 1
0-00-0--0 1
0-000---0 1
00------0 1
-1--1111- 0
-1-1----- 0
-11------ 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_11.REG
0-00--010 1
0-00-0-10 1
0-000--10 1
0-00---01 1
00-----01 1
00-----10 1
-1--111-0 0
-1-1----- 0
-11------ 0
-------11 0
-------00 0
1-------- 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_12.BLIF N_11.BLIF N_10.BLIF \
N_12.REG
0-00011 1
0-0010- 1
00--011 1
0-001-0 1
00--10- 1
00--1-0 1
----111 0
----00- 0
-1-1--- 0
-11---- 0
----0-0 0
1------ 0
.names N_18.BLIF N_17.BLIF N_16.BLIF N_15.BLIF N_13.BLIF N_12.BLIF N_11.BLIF \
N_10.BLIF N_13.REG
0-000111 1
00--0111 1
0-001-0- 1
0-0010-- 1
0-001--0 1
00--1-0- 1
00--10-- 1
00--1--0 1
----1111 0
-1-1---- 0
-11----- 0
----0-0- 0
----00-- 0
1------- 0
----0--0 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_14.REG
0-0001111 1
00--01111 1
0-001--0- 1
0-001-0-- 1
0-0010--- 1
0-001---0 1
00--1--0- 1
00--1-0-- 1
00--10--- 1
00--1---0 1
----11111 0
-1-1----- 0
-11------ 0
----0--0- 0
----0-0-- 0
----00--- 0
1-------- 0
----0---0 0
.names N_18.BLIF N_17.BLIF N_15.BLIF N_14.BLIF N_13.BLIF N_12.BLIF N_11.BLIF \
N_10.BLIF N_15.REG
00011111 1
001---0- 1
001--0-- 1
001-0--- 1
0010---- 1
001----0 1
--111111 0
--0---0- 0
--0--0-- 0
--0-0--- 0
--00---- 0
-1------ 0
1------- 0
--0----0 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_16.REG
000111111 1
001----0- 1
001---0-- 1
001--0--- 1
001-0---- 1
0010----- 1
001-----0 1
--1111111 0
--0----0- 0
--0---0-- 0
--0--0--- 0
--0-0---- 0
--00----- 0
-1------- 0
1-------- 0
--0-----0 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_17.REG
001111111 1
0100---0- 1
0100--0-- 1
0100-0--- 1
01000---- 1
0100----0 1
--0-11111 0
-0--0---- 0
-0---0--- 0
-0----0-- 0
--10----- 0
-1-1----- 0
-0-----0- 0
-0------0 0
1-------- 0
.names N_18.REG
.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 CS
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 FZ
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 JS
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 OK
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 QX
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 TS
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 \
XI
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 ZZ
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 CP.BLIF N_10.C
1 1
0 0
.names CP.BLIF N_11.C
1 1
0 0
.names CP.BLIF N_12.C
1 1
0 0
.names CP.BLIF N_13.C
1 1
0 0
.names CP.BLIF N_14.C
1 1
0 0
.names CP.BLIF N_15.C
1 1
0 0
.names CP.BLIF N_16.C
1 1
0 0
.names CP.BLIF N_17.C
1 1
0 0
.names CP.BLIF N_18.C
1 1
0 0
.end