this is an 7 bit up/down counter

equations were reduced by ISDATA LOG/iC

Device plx448

 clock1         = 14
 clock2         = 11
 down           = 2
 data0          = 3
 data1          = 4
 data2          = 5
 data3          = 6
 data5          = 7
 data6          = 8
 data7          = 9
 enable         = 10

 load           = 37
 out4           = 21      ' case 3
 out5d          = 16
 out5           = 34      ' case 4
 out6           = 19
 out7           = 17
 out3           = 15
 out2           = 22
 out1           = 13
 out0           = 23

start

 out4.ena       /= 0;
 out4           :=  /load* down */out4 */out3 */out2 */out1 */out0
                 +  /load*/down */out4 * out3 * out2 * out1 * out0
                 +  /load* down * out4 * out3
                 +  /load*/down * out4 */out0
                 +  /load* out4 */out1 * out0
                 +  /load* out4 */out3 * out2
                 +  /load* out4 */out2 * out1;  '  preload => 0

 out5d.ena    /= enable;
 out5d           =  /load* down */out4 */out5 */out3 */out2 */out1 */out0
                 +  /load*/down * out4 */out5 * out3 * out2 * out1 * out0
                 +  /load* out4 * out5 */out1
                 +  /load*/out4 * out5 * out3
                 +  /load* down * out5 * out1
                 +  /load*/down * out5 */out0
                 +  /load* out5 */out2 * out0
                 +  /load* out5 */out3 * out2
                 +   load* data5;

 out6.ena    /= enable;
 out6           :=  /load* down */out4 */out5 */out6 */out3 */out2 */out1 */out0
                 +  /load*/down * out4 * out5 */out6 * out3 * out2 * out1 * out0
                 +  /load* out5 * out6 */out3
                 +  /load* down * out6 * out3
                 +  /load*/down */out5 * out6
                 +  /load*/out4 * out5 * out6
                 +  /load* out4 * out6 */out0
                 +  /load*/out5 * out6 * out0
                 +  /load*/out5 * out6 * out1
                 +  /load* out6 * out2 */out1
                 +  /load*/down * out6 */out2
                 +   load* data6;


 out7.ena    /= enable;
 out7           :=  data7 * /down
                 +  data6 *  down;

 out3.ena    /= enable;
 out3           :=  /load* down */out3 */out2 */out1 */out0
                 +  /load*/down */out3 * out2 * out1 * out0
                 +  /load* down * out3 * out2
                 +  /load*/down * out3 */out0
                 +  /load* out3 */out1 * out0
                 +  /load* out3 */out2 * out1
                 +   load* data3;

 out2.ena    /= enable;
 out2           :=  /load* down */out2 */out1 */out0
                 +  /load*/down */out2 * out1 * out0
                 +  /load* out2 */out1 * out0
                 +  /load*/down * out2 */out0
                 +  /load* down * out2 * out1
                 +   load* data2;

 out1.ena    /= enable;
 out1           :=  /load* down */out1 */out0
                 +  /load*/down */out1 * out0
                 +  /load*/down * out1 */out0
                 +  /load* down * out1 * out0
                 +   load* data1;

 out0.ena    /= enable;
 out0           :=  /load*/out0
                 +   load* data0;

end