⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 wash.eq3

📁 洗衣机的程序 洗衣机的程序
💻 EQ3
字号:
ispLEVER 6.1.00.37.42.06 Linked Equations File
Copyright(C), 1992-2006, Lattice Semiconductor Corp.
All Rights Reserved.

Design yuanli created Sat Apr 19 19:02:15 2008

Title: yuanli.bls 

 P-Terms   Fan-in  Fan-out  Type  Name (attributes)
---------  ------  -------  ----  -----------------
   2/8        9        1    Pin   OK 
   3/7        8        1    Pin   TS 
   5/9        8        1    Pin   QX 
   3/5        7        1    Pin   XI 
  13/23       8        1    Pin   FZ 
  29/40       9        1    Pin   ZZ 
  12/18       9        1    Pin   CS 
   9/16       9        1    Pin   JS 
   5/5        9        1    Node  N_10.D 
   1/1        1        1    Node  N_10.C 
   6/6        9        1    Node  N_11.D 
   1/1        1        1    Node  N_11.C 
   6/6        7        1    Node  N_12.D 
   1/1        1        1    Node  N_12.C 
   8/7        8        1    Node  N_13.D 
   1/1        1        1    Node  N_13.C 
  10/8        9        1    Node  N_14.D 
   1/1        1        1    Node  N_14.C 
   6/8        8        1    Node  N_15.D 
   1/1        1        1    Node  N_15.C 
   7/9        9        1    Node  N_16.D 
   1/1        1        1    Node  N_16.C 
   6/11       9        1    Node  N_17.D 
   1/1        1        1    Node  N_17.C 
   0/1        0        1    Node  N_18.D 
   1/1        1        1    Node  N_18.C 
=========
 139/196        Best P-Term Total: 136
                       Total Pins: 9
                      Total Nodes: 9
            Average P-Term/Output: 7


Equations:

OK = (!N_10 & N_12 & N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_11 & N_12 & N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18);

TS = (N_11 & !N_12 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_12 & N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_12 & !N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18);

QX = (N_16 & !N_17 & !N_18
     # N_14 & N_15 & !N_17 & !N_18
     # !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_12 & N_13 & N_15 & !N_17 & !N_18
     # !N_11 & !N_12 & !N_13 & !N_15 & !N_16 & N_17 & !N_18);

XI = (!N_15 & !N_16 & !N_17 & !N_18
     # !N_12 & !N_14 & !N_16 & !N_17 & !N_18
     # !N_13 & !N_14 & !N_16 & !N_17 & !N_18);

FZ = (!N_11 & !N_12 & N_13 & N_15 & N_16 & !N_17 & !N_18
     # N_11 & N_12 & !N_13 & !N_15 & N_16 & !N_17 & !N_18
     # !N_11 & N_12 & !N_13 & N_15 & !N_16 & !N_17 & !N_18
     # N_11 & !N_12 & N_13 & !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_11 & N_12 & !N_13 & !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_11 & N_12 & N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_11 & !N_12 & !N_13 & !N_14 & N_15 & N_16 & !N_17 & !N_18
     # !N_11 & N_12 & N_13 & N_14 & !N_15 & N_16 & !N_17 & !N_18
     # !N_11 & !N_12 & !N_13 & !N_14 & !N_15 & N_16 & !N_17 & !N_18
     # N_11 & !N_12 & N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18
     # N_11 & N_12 & N_13 & N_14 & !N_15 & !N_16 & !N_17 & !N_18
     # !N_11 & !N_12 & N_13 & N_14 & !N_15 & !N_16 & !N_17 & !N_18
     # N_11 & !N_12 & !N_13 & N_14 & !N_15 & !N_16 & !N_17 & !N_18);

ZZ = (!N_10 & N_12 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_11 & !N_12 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_11 & N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_10 & !N_11 & N_12 & N_13 & N_14 & !N_15 & !N_16 & !N_18
     # N_10 & N_11 & !N_12 & N_13 & N_14 & !N_15 & !N_16 & !N_18
     # !N_10 & N_11 & N_12 & !N_13 & N_14 & !N_15 & !N_16 & !N_18
     # N_10 & !N_11 & N_12 & !N_13 & N_14 & !N_15 & !N_16 & !N_18
     # !N_10 & !N_11 & !N_12 & N_13 & !N_15 & !N_16 & N_17 & !N_18
     # N_10 & N_11 & N_12 & !N_13 & !N_15 & !N_16 & N_17 & !N_18
     # !N_10 & N_11 & !N_12 & !N_13 & !N_15 & !N_16 & N_17 & !N_18
     # !N_10 & N_11 & N_12 & !N_13 & N_15 & N_16 & !N_17 & !N_18
     # N_10 & !N_11 & N_12 & !N_13 & N_15 & N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & N_12 & !N_13 & !N_15 & N_16 & !N_17 & !N_18
     # N_10 & N_11 & !N_12 & !N_13 & !N_15 & N_16 & !N_17 & !N_18
     # !N_10 & N_11 & !N_12 & !N_13 & N_15 & !N_16 & !N_17 & !N_18
     # N_10 & !N_11 & !N_12 & !N_13 & N_15 & !N_16 & !N_17 & !N_18
     # N_10 & !N_11 & !N_12 & !N_13 & !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_10 & !N_11 & N_12 & N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_10 & N_11 & !N_12 & N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_12 & !N_13 & !N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & N_14 & !N_15 & N_16 & !N_17 & !N_18
     # !N_10 & N_11 & !N_12 & N_13 & N_14 & !N_15 & N_16 & !N_17 & !N_18
     # N_10 & !N_11 & !N_12 & N_13 & N_14 & !N_15 & N_16 & !N_17 & !N_18
     # !N_10 & N_11 & N_12 & N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18
     # N_10 & !N_11 & N_12 & N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_12 & N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & !N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_12 & !N_13 & N_14 & !N_15 & !N_16 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & !N_14 & !N_15 & !N_16 & !N_17 & !N_18);

CS = (!N_10 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_12 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_13 & N_14 & !N_15 & !N_16 & N_17 & !N_18
     # !N_11 & N_12 & N_13 & !N_14 & N_16 & !N_17 & !N_18
     # N_12 & N_13 & !N_14 & N_15 & N_16 & !N_17 & !N_18
     # !N_12 & N_13 & !N_14 & N_15 & !N_16 & !N_17 & !N_18
     # N_10 & !N_11 & N_12 & N_13 & !N_15 & !N_16 & N_17 & !N_18
     # N_11 & N_12 & N_13 & !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_10 & N_11 & N_13 & !N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_10 & !N_12 & N_13 & !N_14 & !N_15 & N_16 & !N_17 & !N_18
     # N_11 & !N_12 & N_13 & !N_14 & !N_15 & N_16 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & !N_13 & !N_14 & N_15 & !N_16 & !N_17 & !N_18);

JS = (!N_10 & !N_12 & !N_13 & N_14 & N_16 & !N_17 & !N_18
     # !N_11 & !N_12 & !N_13 & N_14 & N_16 & !N_17 & !N_18
     # !N_12 & !N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_12 & N_13 & !N_14 & N_15 & !N_16 & !N_17 & !N_18
     # !N_12 & !N_13 & !N_14 & !N_15 & !N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_12 & !N_13 & N_14 & N_15 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18
     # N_11 & N_12 & N_13 & !N_14 & !N_15 & N_16 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_13 & !N_14 & !N_15 & !N_16 & !N_17 & !N_18);

N_10.D = (!N_10 & !N_17 & !N_18
     # !N_10 & !N_11 & !N_15 & !N_16 & !N_18
     # !N_10 & !N_12 & !N_15 & !N_16 & !N_18
     # !N_10 & !N_13 & !N_15 & !N_16 & !N_18
     # !N_10 & !N_14 & !N_15 & !N_16 & !N_18);

N_10.C = (CP);

N_11.D = (!N_10 & N_11 & !N_17 & !N_18
     # N_10 & !N_11 & !N_17 & !N_18
     # N_10 & !N_11 & !N_15 & !N_16 & !N_18
     # !N_10 & N_11 & !N_12 & !N_15 & !N_16 & !N_18
     # !N_10 & N_11 & !N_13 & !N_15 & !N_16 & !N_18
     # !N_10 & N_11 & !N_14 & !N_15 & !N_16 & !N_18);

N_11.C = (CP);

N_12.D = (!N_10 & N_12 & !N_17 & !N_18
     # !N_11 & N_12 & !N_17 & !N_18
     # !N_10 & N_12 & !N_15 & !N_16 & !N_18
     # !N_11 & N_12 & !N_15 & !N_16 & !N_18
     # N_10 & N_11 & !N_12 & !N_17 & !N_18
     # N_10 & N_11 & !N_12 & !N_15 & !N_16 & !N_18);

N_12.C = (CP);

N_13.D = (!N_10 & N_13 & !N_17 & !N_18
     # !N_11 & N_13 & !N_17 & !N_18
     # !N_12 & N_13 & !N_17 & !N_18
     # !N_10 & N_13 & !N_15 & !N_16 & !N_18
     # !N_11 & N_13 & !N_15 & !N_16 & !N_18
     # !N_12 & N_13 & !N_15 & !N_16 & !N_18
     # N_10 & N_11 & N_12 & !N_13 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & !N_13 & !N_15 & !N_16 & !N_18);

N_13.C = (CP);

N_14.D = (!N_10 & N_14 & !N_17 & !N_18
     # !N_11 & N_14 & !N_17 & !N_18
     # !N_12 & N_14 & !N_17 & !N_18
     # !N_13 & N_14 & !N_17 & !N_18
     # !N_10 & N_14 & !N_15 & !N_16 & !N_18
     # !N_11 & N_14 & !N_15 & !N_16 & !N_18
     # !N_12 & N_14 & !N_15 & !N_16 & !N_18
     # !N_13 & N_14 & !N_15 & !N_16 & !N_18
     # N_10 & N_11 & N_12 & N_13 & !N_14 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & !N_14 & !N_15 & !N_16 & !N_18);

N_14.C = (CP);

N_15.D = (!N_10 & N_15 & !N_17 & !N_18
     # !N_11 & N_15 & !N_17 & !N_18
     # !N_12 & N_15 & !N_17 & !N_18
     # !N_13 & N_15 & !N_17 & !N_18
     # !N_14 & N_15 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & N_14 & !N_15 & !N_17 & !N_18);

N_15.C = (CP);

N_16.D = (!N_10 & N_16 & !N_17 & !N_18
     # !N_11 & N_16 & !N_17 & !N_18
     # !N_12 & N_16 & !N_17 & !N_18
     # !N_13 & N_16 & !N_17 & !N_18
     # !N_14 & N_16 & !N_17 & !N_18
     # !N_15 & N_16 & !N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & N_14 & N_15 & !N_16 & !N_17 & !N_18);

N_16.C = (CP);

N_17.D = (!N_10 & !N_15 & !N_16 & N_17 & !N_18
     # !N_11 & !N_15 & !N_16 & N_17 & !N_18
     # !N_12 & !N_15 & !N_16 & N_17 & !N_18
     # !N_13 & !N_15 & !N_16 & N_17 & !N_18
     # !N_14 & !N_15 & !N_16 & N_17 & !N_18
     # N_10 & N_11 & N_12 & N_13 & N_14 & N_15 & N_16 & !N_17 & !N_18);

N_17.C = (CP);

N_18.D = (0);

N_18.C = (CP);


Reverse-Polarity Equations:

!OK = (!N_12
     # !N_13
     # !N_14
     # N_15
     # N_16
     # !N_17
     # N_18
     # N_10 & N_11);

!TS = (!N_14
     # N_15
     # N_16
     # !N_17
     # N_18
     # N_12 & N_13
     # !N_11 & !N_12 & !N_13);

!QX = (N_18
     # N_15 & N_17
     # N_16 & N_17
     # N_11 & N_14 & N_17
     # N_12 & N_14 & N_17
     # N_13 & N_14 & N_17
     # !N_15 & !N_16 & !N_17
     # !N_12 & !N_14 & N_15 & !N_16
     # !N_13 & !N_14 & N_15 & !N_16);

!XI = (N_16
     # N_17
     # N_18
     # N_14 & N_15
     # N_12 & N_13 & N_15);

!FZ = (N_18
     # N_14 & N_17
     # N_15 & N_17
     # N_12 & N_13 & !N_14
     # !N_11 & !N_12 & N_17
     # N_11 & !N_13 & N_17
     # !N_11 & N_12 & N_13 & N_15
     # N_11 & N_12 & !N_13 & N_15
     # !N_11 & !N_12 & !N_13 & N_15
     # N_11 & N_13 & !N_14 & N_15
     # !N_11 & !N_13 & N_14 & !N_15
     # !N_11 & N_12 & !N_13 & N_16
     # N_11 & !N_12 & N_14 & N_16
     # N_11 & N_13 & !N_15 & N_16
     # !N_12 & N_13 & !N_15 & N_16
     # !N_11 & N_12 & N_13 & !N_16
     # N_11 & N_12 & !N_13 & !N_16
     # N_11 & N_12 & N_15 & !N_16
     # !N_11 & !N_12 & N_15 & !N_16
     # !N_12 & !N_13 & N_15 & !N_16
     # !N_14 & !N_15 & !N_16 & !N_17
     # N_11 & !N_12 & N_13 & !N_15 & !N_17
     # N_11 & !N_12 & !N_14 & !N_15 & !N_17);

!ZZ = (N_18
     # N_15 & N_17
     # N_16 & N_17
     # N_13 & !N_14 & N_16
     # N_10 & !N_12 & N_13 & !N_14
     # !N_10 & N_12 & !N_14 & !N_16
     # !N_11 & N_12 & !N_14 & !N_16
     # N_11 & N_13 & !N_14 & N_17
     # N_10 & N_11 & N_12 & N_13 & N_15
     # !N_10 & !N_11 & N_12 & !N_13 & N_15
     # !N_10 & !N_11 & !N_13 & N_14 & N_15
     # !N_10 & N_11 & !N_12 & !N_13 & N_16
     # N_10 & !N_11 & !N_12 & !N_13 & N_16
     # !N_10 & !N_11 & !N_12 & N_14 & N_16
     # !N_10 & N_11 & N_13 & N_15 & N_16
     # N_10 & !N_11 & N_13 & N_15 & N_16
     # N_10 & N_11 & !N_13 & N_15 & N_16
     # !N_11 & N_12 & N_13 & !N_15 & N_16
     # N_10 & N_12 & !N_13 & !N_15 & N_16
     # N_11 & N_12 & !N_13 & !N_15 & N_16
     # N_10 & N_11 & !N_12 & !N_14 & !N_16
     # !N_10 & !N_11 & N_12 & N_15 & !N_16
     # N_10 & N_11 & !N_12 & N_15 & !N_16
     # N_10 & !N_12 & N_13 & N_15 & !N_16
     # !N_10 & N_12 & !N_13 & N_15 & !N_16
     # !N_11 & N_12 & !N_13 & N_15 & !N_16
     # !N_10 & !N_11 & !N_14 & N_15 & !N_16
     # !N_11 & !N_12 & !N_13 & N_14 & N_17
     # N_12 & !N_13 & !N_14 & !N_16 & !N_17
     # !N_10 & !N_11 & !N_12 & !N_13 & !N_14 & !N_15
     # N_10 & N_11 & !N_12 & N_13 & !N_15 & N_16
     # N_10 & N_11 & N_12 & N_13 & N_14 & !N_16
     # !N_10 & N_11 & N_12 & N_13 & !N_15 & !N_17
     # N_10 & !N_11 & N_12 & N_13 & !N_15 & !N_17
     # N_10 & N_11 & N_12 & !N_13 & !N_15 & !N_17
     # !N_10 & N_11 & !N_12 & N_13 & !N_16 & !N_17
     # !N_10 & !N_11 & N_12 & !N_13 & !N_16 & !N_17
     # !N_11 & !N_12 & N_13 & !N_15 & !N_16 & !N_17
     # N_10 & !N_12 & !N_13 & !N_15 & !N_16 & !N_17
     # N_11 & !N_12 & !N_13 & !N_15 & !N_16 & !N_17);

!CS = (N_18
     # !N_13 & N_16
     # N_15 & N_17
     # N_16 & N_17
     # N_14 & !N_17
     # !N_10 & !N_13 & !N_14
     # !N_11 & !N_13 & N_15
     # !N_12 & !N_13 & N_15
     # !N_13 & !N_14 & !N_15
     # !N_12 & !N_14 & N_17
     # !N_15 & !N_16 & !N_17
     # !N_10 & !N_11 & !N_12 & N_16
     # !N_10 & !N_12 & N_15 & N_16
     # !N_11 & !N_12 & N_15 & N_16
     # N_12 & N_13 & N_15 & !N_16
     # !N_10 & !N_11 & !N_14 & N_17
     # N_11 & N_12 & !N_15 & !N_17
     # N_10 & N_11 & N_12 & N_13 & N_14);

!JS = (N_17
     # N_18
     # N_13 & N_14
     # N_10 & N_12 & !N_13
     # N_11 & N_12 & !N_13
     # !N_12 & !N_14 & N_15
     # N_12 & N_14 & !N_15
     # !N_11 & !N_14 & N_16
     # !N_12 & !N_14 & N_16
     # N_13 & N_15 & N_16
     # N_10 & N_14 & !N_16
     # N_11 & N_14 & !N_16
     # N_13 & !N_15 & !N_16
     # N_14 & !N_15 & !N_16
     # N_10 & N_11 & N_14 & !N_15
     # N_12 & !N_13 & N_15 & !N_16);

!N_10.D = (N_10
     # N_18
     # N_15 & N_17
     # N_16 & N_17
     # N_11 & N_12 & N_13 & N_14 & N_17);

!N_10.C = (!CP);

!N_11.D = (N_18
     # N_10 & N_11
     # !N_10 & !N_11
     # N_15 & N_17
     # N_16 & N_17
     # !N_10 & N_12 & N_13 & N_14 & N_17);

!N_11.C = (!CP);

!N_12.D = (N_18
     # !N_10 & !N_12
     # !N_11 & !N_12
     # N_15 & N_17
     # N_16 & N_17
     # N_10 & N_11 & N_12);

!N_12.C = (!CP);

!N_13.D = (N_18
     # !N_10 & !N_13
     # !N_11 & !N_13
     # !N_12 & !N_13
     # N_15 & N_17
     # N_16 & N_17
     # N_10 & N_11 & N_12 & N_13);

!N_13.C = (!CP);

!N_14.D = (N_18
     # !N_10 & !N_14
     # !N_11 & !N_14
     # !N_12 & !N_14
     # !N_13 & !N_14
     # N_15 & N_17
     # N_16 & N_17
     # N_10 & N_11 & N_12 & N_13 & N_14);

!N_14.C = (!CP);

!N_15.D = (N_17
     # N_18
     # !N_10 & !N_15
     # !N_11 & !N_15
     # !N_12 & !N_15
     # !N_13 & !N_15
     # !N_14 & !N_15
     # N_10 & N_11 & N_12 & N_13 & N_14 & N_15);

!N_15.C = (!CP);

!N_16.D = (N_17
     # N_18
     # !N_10 & !N_16
     # !N_11 & !N_16
     # !N_12 & !N_16
     # !N_13 & !N_16
     # !N_14 & !N_16
     # !N_15 & !N_16
     # N_10 & N_11 & N_12 & N_13 & N_14 & N_15 & N_16);

!N_16.C = (!CP);

!N_17.D = (N_18
     # !N_10 & N_15
     # !N_11 & N_15
     # !N_12 & N_15
     # !N_13 & N_15
     # !N_14 & N_15
     # !N_15 & N_16
     # N_15 & !N_16
     # N_15 & N_17
     # !N_15 & !N_17
     # N_10 & N_11 & N_12 & N_13 & N_14 & !N_15);

!N_17.C = (!CP);

!N_18.D = (1);

!N_18.C = (!CP);

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -