wash.blh

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

#$ 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.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 N_9 N_7 N_8 N_3 N_5 N_2 N_4 N_6
\

.subckt con159 CP.BLIF=N_1.BLIF Q0.BLIF=N_10.BLIF Q1.BLIF=N_11.BLIF Q2.BLIF=N_12.BLIF Q3.BLIF=N_13.BLIF Q4.BLIF=N_14.BLIF Q5.BLIF=N_15.BLIF Q6.BLIF=N_16.BLIF \
 Q7.BLIF=N_17.BLIF Q8.BLIF=N_18.BLIF Q0.REG=N_10.REG Q0.C=N_10.C Q1.REG=N_11.REG Q1.C=N_11.C Q2.REG=N_12.REG Q2.C=N_12.C Q3.REG=N_13.REG Q3.C=N_13.C \
 Q4.REG=N_14.REG Q4.C=N_14.C Q5.REG=N_15.REG Q5.C=N_15.C Q6.REG=N_16.REG Q6.C=N_16.C Q7.REG=N_17.REG Q7.C=N_17.C Q8.REG=N_18.REG Q8.C=N_18.C
\

.subckt kzmk A0.BLIF=N_10.BLIF A1.BLIF=N_11.BLIF A2.BLIF=N_12.BLIF A3.BLIF=N_13.BLIF A4.BLIF=N_14.BLIF A5.BLIF=N_15.BLIF A6.BLIF=N_16.BLIF A7.BLIF=N_17.BLIF \
 A8.BLIF=N_18.BLIF CS=N_9 FZ=N_7 JS=N_8 OK=N_3 QX=N_5 TS=N_2 XI=N_4 ZZ=N_6
.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
.end

.model con159
.inputs CP.BLIF Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF \
Q0.BLIF
.outputs Q8.C Q7.C Q6.C Q5.C Q4.C Q3.C Q2.C Q1.C Q0.C Q8.REG Q7.REG Q6.REG \
Q5.REG Q4.REG Q3.REG Q2.REG Q1.REG Q0.REG
.names Q8.REG
.names Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF \
Q7.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 Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF \
Q6.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 Q8.BLIF Q7.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF Q5.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 Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF \
Q4.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 Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF Q3.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 Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q2.BLIF Q1.BLIF Q0.BLIF Q2.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 Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF \
Q1.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
-------00 0
-------11 0
1-------- 0
.names Q8.BLIF Q7.BLIF Q6.BLIF Q5.BLIF Q4.BLIF Q3.BLIF Q2.BLIF Q1.BLIF Q0.BLIF \
Q0.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 CP.BLIF Q8.C
1 1
0 0
.names CP.BLIF Q7.C
1 1
0 0
.names CP.BLIF Q6.C
1 1
0 0
.names CP.BLIF Q5.C
1 1
0 0
.names CP.BLIF Q4.C
1 1
0 0
.names CP.BLIF Q3.C
1 1
0 0
.names CP.BLIF Q2.C
1 1
0 0
.names CP.BLIF Q1.C
1 1
0 0
.names CP.BLIF Q0.C
1 1
0 0
.end

.model kzmk
.inputs A0.BLIF A1.BLIF A2.BLIF A3.BLIF A4.BLIF A5.BLIF A6.BLIF A7.BLIF A8.BLIF
.outputs JS CS ZZ FZ XI QX TS OK
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF A0.BLIF \
JS
00100111- 1
0001011-- 1
0011100-- 1
001110-00 1
001-1000- 1
0000000-- 1
000000-00 1
001-100-0 1
00-110000 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 A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF A0.BLIF \
CS
001101-11 1
0010010-1 1
01001---0 1
0100-1101 1
01000111- 1
0011011-- 1
000100111 1
010010--- 1
0001010-- 1
001-0110- 1
00100101- 1
01001-0-- 1
--1---000 0
-0-0--11- 0
---000--- 0
-1--0--00 0
---1-00-- 0
----00--0 0
---1-0-0- 0
--01-11-- 0
-1--0-0-- 0
-1-1----- 0
-000----- 0
-0--1---- 0
----11111 0
--11--00- 0
--1--0--- 0
--11--0-0 0
-11------ 0
1-------- 0
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF A0.BLIF \
ZZ
010011-0- 1
01001-1-0 1
01001-01- 1
001100000 1
0011-0101 1
0011-0110 1
0100-1000 1
001111011 1
001111100 1
0010-0011 1
0010-0100 1
0001-0001 1
0001-0010 1
010000001 1
0100-0010 1
0100-0111 1
000001111 1
001011001 1
001011010 1
001011111 1
000111000 1
000111101 1
000111110 1
000110111 1
0-0010101 1
0-0011011 1
0-0011100 1
000010000 1
0-0010110 1
----010-1 0
---1-0100 0
-00-001-- 0
--10-110- 0
-1--1000- 0
--0-11111 0
--11-1-10 0
--11-1-01 0
--010--00 0
-0-0-1110 0
--01--011 0
-1--01-1- 0
--10-011- 0
-0-0-1101 0
--10-01-1 0
-000-001- 0
-000-100- 0
---000000 0
---110-00 0
--11-0-11 0
---1-1111 0
--1-1-000 0
--1--0010 0
--1--0001 0
-0-0-0111 0
-00--1010 0
-000-00-1 0
-00--1001 0
--0-0-10- 0
--0-0-011 0
--0-0-1-0 0
--1-01--- 0
-00--0100 0
--01-010- 0
--10-1011 0
--01-01-0 0
--01--100 0
-1-1----- 0
-11------ 0
1-------- 0
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF FZ
01000010 1
01000101 1
0011-100 1
0001-010 1
00110001 1
00100000 1
00011101 1
0010-011 1
00111111 1
00001100 1
00101110 1
00001001 1
00001111 1
---1-110 0
--01--11 0
-0-0-101 0
---1-011 0
---1-000 0
--0--110 0
---101-1 0
--01-00- 0
--10-10- 0
-1----00 0
-0000--- 0
--0--011 0
-0-00-01 0
--1-1-01 0
--01--00 0
-1--1--- 0
-1---0-1 0
--1--010 0
---010-0 0
----011- 0
--10-1-1 0
-1-1---- 0
1------- 0
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF XI
000-0-0 1
000-00- 1
0000--- 1
---1-11 0
---11-- 0
--1---- 0
-1----- 0
1------ 0
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF QX
0100-000 1
01000--- 1
00-11--- 1
00-1-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 A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF TS
01001-01 1
0100110- 1
0100101- 1
-----000 0
-----11- 0
----0--- 0
---1---- 0
--1----- 0
-0------ 0
1------- 0
.names A8.BLIF A7.BLIF A6.BLIF A5.BLIF A4.BLIF A3.BLIF A2.BLIF A1.BLIF A0.BLIF \
OK
0100111-0 1
01001110- 1
------0-- 0
-----0--- 0
----0---- 0
---1----- 0
--1------ 0
-0------- 0
1-------- 0
-------11 0
.end