/* This file is generated by topld.pl!! */
/* Please don't edit it. */

Name     M8310F ;
PartNo   cpld ;
Date     XX/XX/XXXX ;
Revision 01 ;
Designer  ;
Company   ;
Assembly None ;
Location E1 ;
Device   f1508isptqfp100;

$DEFINE OPTIMIZE

$UNDEF  OPTIMIZE

/* Input Pins */
pin = ac00;
pin = ac01;
pin = ac02;
pin = ac03;
pin = ac04_11eq0_l;
pin = ad00_l;
pin = ad01_l;
pin = ad10_l;
pin = ad11_l;
pin = ad_ld_d15_l;
pin = carry_out_l;
pin = fdset_l;
pin = link_data_l;
pin = mq00_03eq0_l;
pin = mq04_11eq0_l;
pin = n3b;
pin = n3va;
pin = n_t_26x;
pin = n_t_2x;

/* Output Pins */
pin = ac0eqac1_l;
pin = ac2_ac3_l;
pin = ac2bus_l;
pin = ac_load_l;
pin = aceq0;
pin = bk_dc_l;
pin = bus_strobe_l;
pin = c0_l;
pin = c1_l;
pin = c2_l;
pin = carry_in_l;
pin = cpma_dis_l;
pin = cpma_load_l;
pin = data_f;
pin = data_t;
pin = en0;
pin = en1;
pin = en2;
pin = fe_fd_l;
pin = feset_l;
pin = fset_l;
pin = ind1;
pin = ind2;
pin = initialize;
pin = intinprog;
pin = ir0_l;
pin = ir1_l;
pin = ir2_l;
pin = keycontrol_l;
pin = la_enable_l;
pin = left_l;
pin = link_l;
pin = link_load_l;
pin = mac_l;
pin = malc_l;
pin = mb_load_l;
pin = md00_l;
pin = md01_l;
pin = md02_l;
pin = md03_l;
pin = md04_l;
pin = md05_l;
pin = md06_l;
pin = md07_l;
pin = md08_l;
pin = md09_l;
pin = md10_l;
pin = md11_l;
pin = md_dis;
pin = mq2bus_l;
pin = mq_load_l;
pin = mqeq0;
pin = ms_ir_dis_l;
pin = n15v;
pin = n3v;
pin = n_t_16x;
pin = n_t_17x;
pin = n_t_30x;
pin = n_t_34x;
pin = n_t_35x;
pin = n_t_37x;
pin = n_t_44x;
pin = n_t_6x;
pin = n_t_9x;
pin = ope;
pin = overflow_l;
pin = pagez;
pin = pause_l;
pin = pc_load_l;
pin = pulse_la;
pin = pwr_ok;
pin = right_l;
pin = rom_l;
pin = run;
pin = skip_l;
pin = tp1;
pin = tp2;
pin = tp3;
pin = tp4;
pin = ts1_l;
pin = ts2_l;
pin = ts3_l;
pin = ts4_l;
pin = twice_l;
node skip1;
node link;
node ov;
node n_t_62x;
node n_t_60x;
node n_t_73x;
node n_t_61x;
node n_t_78x;
node n_t_77x;

/* Internal nodes */
$IFNDEF OPTIMIZE
node and_l;
node ande_l;
node andets3;
node bd;
node be;
node bf;
node bf_kc;
node bkc;
node bmd05;
node bmd06;
node bmd07;
node bmd08;
node bmd09;
node bmd10;
node bmd11;
node bms_dis;
node btp2;
node btp3;
node bts1;
node bts2;
node bts3;
node bts4;
node bus_strobe;
node cpma_load;
node d_l;
node d_not_jmp;
node dca_l;
node dcae_l;
node dcaets2;
node dset_l;
node e_l;
node eset;
node eset_l;
node ets2_l;
node ets3_l;
node f_l;
node fe_fd;
node fset;
node iot_l;
node isz_l;
node iszets2;
node iszets3;
node jmp;
node jmp_l;
node jms_l;
node jmse;
node jmsets2;
node jmsets3;
node ms_dis_l;
node n_t_10x;
node n_t_11x;
node n_t_12x;
node n_t_13x;
node n_t_14x;
node n_t_15x;
node n_t_18x;
node n_t_19x;
node n_t_20x;
node n_t_21x;
node n_t_22x;
node n_t_23x;
node n_t_24x;
node n_t_25x;
node n_t_28x;
node n_t_29x;
node n_t_31x;
node n_t_32x;
node n_t_33x;
node n_t_36x;
node n_t_38x;
node n_t_39x;
node n_t_3x;
node n_t_40x;
node n_t_41x;
node n_t_42x;
node n_t_43x;
node n_t_45x;
node n_t_46x;
node n_t_47x;
node n_t_48x;
node n_t_49x;
node n_t_4x;
node n_t_51x;
node n_t_52x;
node n_t_53x;
node n_t_54x;
node n_t_55x;
node n_t_56x;
node n_t_57x;
node n_t_58x;
node n_t_59x;
node n_t_5x;
node n_t_63x;
node n_t_64x;
node n_t_65x;
node n_t_66x;
node n_t_67x;
node n_t_69x;
node n_t_70x;
node n_t_71x;
node n_t_72x;
node n_t_74x;
node n_t_75x;
node n_t_76x;
node n_t_79x;
node n_t_7x;
node n_t_80x;
node n_t_81x;
node n_t_85x;
node n_t_8x;
node op1_l;
node op1ts3;
node op2ts3;
node opets3;
node opr_iot;
node opr_iot_l;
node opr_l;
node oprf;
node oprf_l;
node tad_l;
node tade_l;
node tadets3;
node tp4_not_malc;
node ts4fset_not_ms_dis;
$ENDIF

/* Code nodes */

/* Equations */

/* c1: c_us */

/* c2: c_us */

/* c3: c_us */

/* c4: c_us */

/* c6: c_us */

/* c7: c_us */

/* c8: c_us */

/* c9: c_us */

/* c10: c_us */

/* c11: c_us */

/* c12: c_us */

/* c13: c_us */

/* c14: c_us */

/* c15: c_us */

/* c16: c_us */

/* c17: c_us */

/* c18: c_us */

/* c19: c_us */

/* c20: c_us */

/* c21: c_us */

/* c22: c_us */

/* c23: c_us */

/* c24: c_us */

/* c25: c_us */

/* c26: c_us */

/* c27: cpol_use */

/* c29: cpol_use */

/* c30: c_us */

/* c31: c_us */

/* c32: c_us */

/* c33: c_us */

/* e1: n8881n */
/* n_t_37x = !(bts4 & bkc); */
/* n_t_37x = !(fe_fd_l & ts4fset_not_ms_dis); */
/* data_f = !(bmd06 & op1ts3); */
/* n_t_37x = !(n_t_36x & c1_l); */

/* e2: n8881n */
/* carry_in_l = !(skip1 & ts4fset_not_ms_dis); */
/* ac2bus_l = !(n_t_56x & c2_l); */
/* ac2bus_l = !(n_t_55x & bts1); */
/* carry_in_l = !(jmsets2 & skip1); */

/* e3: n8881n */
/* n_t_30x = !(op2ts3 & n_t_43x); */
/* en1 = !(bts4 & d_not_jmp); */
/* carry_in_l = !(bf_kc & bts1); */
/* en0 = !(bts1 & bf_kc); */

/* e4: n8881n */
/* n_t_35x = !(aceq0 & bmd06); */
/* md_dis = !(bms_dis & bk_dc_l); */
/* carry_in_l = !(bmd11 & op1ts3); */
/* link_l = !link; */

/* e5: n8881n */
/* ac2bus_l = !(bf & bts2); */
/* data_t = !(bts2 & bms_dis); */
/* carry_in_l = !(bd & bts2); */
/* n_t_35x = !(ac00 & bmd05); */

/* e6: sn7404 */
n_t_25x = !pwr_ok;
n_t_42x = !n_t_44x;
n_t_48x = !n_t_37x;

/* e7: sn7420 */
n_t_28x = !(tade_l & dcae_l & ande_l & oprf_l);
n_t_4x = !(bts4 & fe_fd_l & fset_l & bf);

/* e8: sn7405 */
/* en0 = !n_t_49x; */
/* en0 = !n_t_48x; */
/* en1 = !n_t_48x; */
/* n_t_37x = !jmsets2; */
/* en1 = !tadets3; */
/* carry_in_l = !iszets2; */

/* e9: sn7412 */
/* ac2bus_l = !(bf & n_t_45x & n_t_42x); */
/* mq2bus_l = !(ind1 & bts1 & n_t_47x); */
/* mq2bus_l = !(opets3 & bmd05 & pause_l); */

/* e10: sn7405 */
/* ac2bus_l = !dcaets2; */
/* data_t = !dcaets2; */
/* en2 = !n_t_48x; */
/* data_f = !data_t; */
/* data_t = !tadets3; */
/* ac2bus_l = !tadets3; */

/* e11: sn7412 */
/* data_t = !(bts3 & opr_iot & n_t_39x); */
/* n_t_44x = !(bts3 & md04_l & oprf); */
/* carry_in_l = !(rom_l & cpma_dis_l & jmsets3); */

/* e12: sn7410 */
n_t_39x = !(n_t_40x & c2_l & c1_l);
n_t_5x = !(jmp & bts3 & bf);
n_t_32x = !(n_t_30x & n_t_33x);

/* e13: sn7412 */
/* mq_load_l = !(ope & bmd07 & btp3); */
/* en1 = !(bd & bts3 & jmp); */

/* e14: sn74h04 */
n_t_15x = !n_t_23x;
n_t_49x = !en1;
n_t_67x = !bts3;
op2ts3 = !n_t_71x;
opets3 = !n_t_70x;
n_t_57x = !dcaets2;

/* e15: n8881n */
/* n_t_17x = !(n_t_25x & run); */
/* pc_load_l = !(bus_strobe & n_t_31x); */
/* ac_load_l = !(btp3 & n_t_28x); */
/* ac_load_l = !(c2_l & bus_strobe); */

/* e16: sn7404 */
n_t_38x = !la_enable_l;
n_t_40x = !c0_l;
opr_iot_l = !opr_iot;
bts1 = !ts1_l;
n_t_47x = !ind2;
ts4fset_not_ms_dis = !n_t_79x;

/* e17: sn7474 */
mac_l.ap = !n3b;
mac_l.d = !cpma_dis_l;
mac_l.ck = tp4;
mac_l.ar = !n_t_26x;
skip1.ar = !n_t_34x;
skip1.d = n_t_32x;
skip1.ck = btp3;
skip1.ap = !n3b;
n_t_33x = !skip1;

/* e18: sn74h00 */
n_t_3x = !(n_t_5x & n_t_4x);
n_t_71x = !(n_t_69x & bts3);
n_t_70x = !(bts3 & ope);
n_t_80x = !(n_t_85x & ac2_ac3_l);

/* e19: sn7402 */
mqeq0 = !(mq04_11eq0_l
        # mq00_03eq0_l);
ac2_ac3_l = !(ac02
            # ac03);
n_t_85x = !(ac00
          # ac01);
aceq0 = !(n_t_80x
        # ac04_11eq0_l);

/* e20: sn7404 */
oprf_l = !oprf;
bmd06 = !md06_l;
bmd07 = !md07_l;
n_t_31x = !c2_l;
bus_strobe = !bus_strobe_l;
bmd05 = !md05_l;

/* e21: sn74h00 */
n_t_54x = !(malc_l & tp4);
n_t_63x = !(oprf & n_t_46x);
op1_l = !(n_t_76x & oprf);
n_t_45x = !(opets3 & bmd07);

/* e22: sn7402 */
n_t_69x = !(n_t_63x
          # bmd11);
ope = !(n_t_63x
      # md11_l);
n_t_29x = !(skip_l
          # opr_iot_l);
n_t_36x = !(pause_l
          # c2_l);

/* e23: n8881n */
/* n_t_16x = !(n_t_15x & n_t_14x); */
/* right_l = !(bmd08 & op1ts3); */
/* left_l = !(bmd09 & op1ts3); */
/* twice_l = !(op1ts3 & bmd10); */

/* e24: sn74151 */
!n_t_13x = n_t_16x & !'b'0 & !right_l & !left_l & !twice_l
    # n_t_16x  & !'b'0 & !right_l & !left_l &  twice_l
    # ad10_l  & !'b'0 & !right_l &  left_l & !twice_l
    # ad11_l  & !'b'0 & !right_l &  left_l &  twice_l
    # ad01_l & !'b'0 &  right_l & !left_l & !twice_l
    # ad00_l & !'b'0 &  right_l & !left_l &  twice_l
    # n_t_16x & !'b'0 &  right_l &  left_l & !twice_l
    # n_t_16x & !'b'0 &  right_l &  left_l &  twice_l;

/* e25: sn7402 */
n_t_55x = !(ind2
          # ind1);
n_t_56x = !(n_t_58x
          # pause_l);
n_t_58x = !(c0_l
          # c1_l);
op1ts3 = !(n_t_67x
         # op1_l);

/* e26: sn7404 */
d_not_jmp = !n_t_66x;
jmp = !jmp_l;
n_t_76x = !n_t_46x;
n_t_46x = !n_t_2x;
bmd11 = !md11_l;
tp4_not_malc = !n_t_54x;

/* e27: sn7405 */
/* cpma_load_l = !tp4_not_malc; */
/* fe_fd_l = !fe_fd; */
/* en0 = !jmsets3; */
/* feset_l = !intinprog; */
/* n_t_30x = !n_t_29x; */
/* data_t = !n_t_38x; */

/* e28: sn7405 */
/* n_t_34x = !initialize; */
/* right_l = !andets3; */
/* left_l = !andets3; */
/* left_l = !n_t_3x; */
/* twice_l = !n_t_3x; */
/* right_l = !n_t_3x; */

/* e29: sp384n */
ets2_l = ts2_l
       # e_l;
ms_dis_l = ms_ir_dis_l;
ets3_l = ts3_l
       # e_l;
btp2 = tp2;

/* e30: sn7420 */
n_t_12x = !(n_t_13x & n_t_15x & n_t_15x);
n_t_72x = !(opr_iot_l & bf & n_t_76x & jmp_l);

/* e31: sn7410 */
n_t_79x = !(fset & ms_dis_l & bts4);
eset = !(feset_l & n_t_72x & n_t_66x);
n_t_75x = !(bf & opr_iot_l & n_t_46x);

/* e32: sn7400 */
n_t_8x = !(link_data_l & n_t_12x);
n_t_11x = !(n_t_3x & md04_l);
n_t_23x = !(iot_l & ad_ld_d15_l);
n_t_24x = !carry_out_l;

/* e33: sn7474 */
link.ar = !n_t_7x;
link.d = n_t_8x;
link.ck = n_t_6x;
link.ap = !n3va;
n_t_22x = !link;
ov.ar = !n3va;
ov.d = carry_out_l;
ov.ck = btp2;
ov.ap = !n3va;

/* e34: sn7404 */
bf = !f_l;
dset_l = !n_t_74x;
bd = !d_l;
bts4 = !ts4_l;
bts2 = !ts2_l;
n_t_7x = !initialize;

/* e35: sn74h00 */
n_t_59x = !(tp4_not_malc & intinprog);
opr_iot = !(opr_l & iot_l);
n_t_64x = !(btp2 & bf);
n_t_66x = !(jmp_l & bd);

/* e36: sn74h04 */
fset = !fset_l;
n_t_65x = !n_t_64x;
bts3 = !ts3_l;
eset_l = !eset;
pagez = !n_t_11x;
bms_dis = !ms_dis_l;

/* e37: sn7402 */
jmse = !(e_l
       # jms_l);
n_t_19x = !(op1_l
          # md05_l);
n_t_21x = !(md07_l
          # op1_l);
n_t_20x = !(n_t_22x
          # n_t_19x);

/* e38: sn7486 */
n_t_43x = md08_l
        $ n_t_35x;
ac0eqac1_l = ac00
           $ ac01;
n_t_14x = n_t_24x
        $ n_t_18x;
n_t_18x = n_t_20x
        $ n_t_21x;

/* e39: sn7400 */
n_t_10x = !link_load_l;
bf_kc = !(f_l & keycontrol_l);
n_t_74x = !(n_t_75x & fdset_l);
fe_fd = !(fdset_l & feset_l);

/* e40: sn74h74 */
n_t_62x.ap = !n3v;
n_t_62x.d = !md02_l;
n_t_62x.ck = n_t_65x;
n_t_62x.ar = !n_t_59x;
n_t_60x.ap = !n_t_59x;
n_t_60x.d = !md00_l;
n_t_60x.ck = n_t_65x;
n_t_60x.ar = !n3v;

/* e41: sn7402 */
jmsets2 = !(jms_l
          # ets2_l);
oprf = !(opr_l
       # f_l);
dcaets2 = !(dca_l
          # ets2_l);
jmsets3 = !(jms_l
          # ets3_l);

/* e42: sn7400 */
ande_l = !(be & n_t_51x);
dcae_l = !(be & n_t_53x);
tade_l = !(n_t_52x & be);
n_t_81x = !(tade_l & op1_l);

/* e43: n8881n */
/* n_t_6x = !n_t_9x; */
/* n_t_35x = !(bmd07 & link); */
/* n_t_9x = !(n_t_81x & btp3); */
/* n_t_9x = !n_t_10x; */

/* e44: n8881n */
/* n3v = 'b'1; */
/* ir2_l = !(ms_dis_l & n_t_62x); */
/* ir0_l = !(n_t_60x & ms_dis_l); */
/* ir1_l = !(n_t_61x & ms_dis_l); */

/* e45: sn74h74 */
n_t_73x.ar = !n3v;
n_t_73x.d = eset;
n_t_73x.ck = cpma_load;
n_t_73x.ap = !n3v;
n_t_61x.ap = !n3v;
n_t_61x.d = !md01_l;
n_t_61x.ck = n_t_65x;
n_t_61x.ar = !n_t_59x;

/* e46: dec8251 */
!opr_l = !ir2_l & !ir1_l & !ir0_l;
!dca_l = !ir2_l & !ir1_l & ir0_l;
!jmp_l = !ir2_l & ir1_l & !ir0_l;
!tad_l = !ir2_l & ir1_l & ir0_l;
!iot_l = ir2_l & !ir1_l & !ir0_l;
!isz_l = ir2_l & !ir1_l & ir0_l;
!jms_l = ir2_l & ir1_l & !ir0_l;
!and_l = ir2_l & ir1_l & ir0_l;

/* e47: sn7404 */
be = !e_l;
cpma_load = !cpma_load_l;
bkc = !keycontrol_l;
n_t_52x = !tad_l;
n_t_53x = !dca_l;
n_t_51x = !and_l;

/* e48: sn7404 */
mb_load_l = !btp2;
btp3 = !n_t_41x;
n_t_41x = !tp3;
bmd10 = !md10_l;
bmd09 = !md09_l;
bmd08 = !md08_l;

/* e49: n8881n */
/* fset_l = !(dset_l & eset_l); */
/* e_l = !(n_t_73x & ms_dis_l); */
/* d_l = !(n_t_77x & ms_dis_l); */
/* f_l = !(n_t_78x & ms_dis_l); */

/* e50: sn7474 */
n_t_78x.ap = !n3v;
n_t_78x.d = !fset_l;
n_t_78x.ck = cpma_load;
n_t_78x.ar = !n3v;
n_t_77x.ap = !n3v;
n_t_77x.d = !dset_l;
n_t_77x.ck = cpma_load;
n_t_77x.ar = !n3v;

/* e51: sn7402 */
andets3 = !(ets3_l
          # and_l);
tadets3 = !(ets3_l
          # tad_l);
iszets2 = !(ets2_l
          # isz_l);
iszets3 = !(isz_l
          # ets3_l);

/* e52: n8881n */
/* n_t_34x = !(bf & tp1); */
/* n_t_30x = !(ov & iszets3); */
/* overflow_l = !(ov & bts3); */
/* cpma_load_l = !(pulse_la & keycontrol_l); */

/* e53: n8881n */
/* pc_load_l = !(jmp & btp3); */
/* pc_load_l = !(bf_kc & tp1); */
/* pc_load_l = !(jmse & btp3); */
/* n_t_34x = !(jmse & btp2); */

/* Open collector 'wire-or's */
property atmel {open_collector= ac2bus_l};
!ac2bus_l = (n_t_56x & c2_l)
            # (n_t_55x & bts1)
            # (bf & bts2)
            # (bf & n_t_45x & n_t_42x)
            # (dcaets2)
            # (tadets3);
ac2bus_l.oe = (n_t_56x & c2_l)
            # (n_t_55x & bts1)
            # (bf & bts2)
            # (bf & n_t_45x & n_t_42x)
            # (dcaets2)
            # (tadets3);
property atmel {open_collector= ac_load_l};
!ac_load_l = (btp3 & n_t_28x)
             # (c2_l & bus_strobe);
ac_load_l.oe = (btp3 & n_t_28x)
             # (c2_l & bus_strobe);
property atmel {open_collector= carry_in_l};
!carry_in_l = (skip1 & ts4fset_not_ms_dis)
              # (jmsets2 & skip1)
              # (bf_kc & bts1)
              # (bmd11 & op1ts3)
              # (bd & bts2)
              # (iszets2)
              # (rom_l & cpma_dis_l & jmsets3);
carry_in_l.oe = (skip1 & ts4fset_not_ms_dis)
              # (jmsets2 & skip1)
              # (bf_kc & bts1)
              # (bmd11 & op1ts3)
              # (bd & bts2)
              # (iszets2)
              # (rom_l & cpma_dis_l & jmsets3);
property atmel {open_collector= cpma_load_l};
!cpma_load_l = (tp4_not_malc)
               # (pulse_la & keycontrol_l);
cpma_load_l.oe = (tp4_not_malc)
               # (pulse_la & keycontrol_l);
!d_l = (n_t_77x & ms_dis_l);
property atmel {open_collector= data_f};
!data_f = (bmd06 & op1ts3)
          # (data_t);
data_f.oe = (bmd06 & op1ts3)
          # (data_t);
property atmel {open_collector= data_t};
!data_t = (bts2 & bms_dis)
          # (dcaets2)
          # (tadets3)
          # (bts3 & opr_iot & n_t_39x)
          # (n_t_38x);
data_t.oe = (bts2 & bms_dis)
          # (dcaets2)
          # (tadets3)
          # (bts3 & opr_iot & n_t_39x)
          # (n_t_38x);
!e_l = (n_t_73x & ms_dis_l);
property atmel {open_collector= en0};
!en0 = (bts1 & bf_kc)
       # (n_t_49x)
       # (n_t_48x)
       # (jmsets3);
en0.oe = (bts1 & bf_kc)
       # (n_t_49x)
       # (n_t_48x)
       # (jmsets3);
property atmel {open_collector= en1};
!en1 = (bts4 & d_not_jmp)
       # (n_t_48x)
       # (tadets3)
       # (bd & bts3 & jmp);
en1.oe = (bts4 & d_not_jmp)
       # (n_t_48x)
       # (tadets3)
       # (bd & bts3 & jmp);
property atmel {open_collector= en2};
!en2 = n_t_48x;
en2.oe = n_t_48x;
!f_l = (n_t_78x & ms_dis_l);
property atmel {open_collector= fe_fd_l};
!fe_fd_l = fe_fd;
fe_fd_l.oe = fe_fd;
property atmel {open_collector= feset_l};
!feset_l = intinprog;
feset_l.oe = intinprog;
property atmel {open_collector= fset_l};
!fset_l = (dset_l & eset_l);
fset_l.oe = (dset_l & eset_l);
property atmel {open_collector= ir0_l};
!ir0_l = (n_t_60x & ms_dis_l);
ir0_l.oe = (n_t_60x & ms_dis_l);
property atmel {open_collector= ir1_l};
!ir1_l = (n_t_61x & ms_dis_l);
ir1_l.oe = (n_t_61x & ms_dis_l);
property atmel {open_collector= ir2_l};
!ir2_l = (ms_dis_l & n_t_62x);
ir2_l.oe = (ms_dis_l & n_t_62x);
property atmel {open_collector= left_l};
!left_l = (bmd09 & op1ts3)
          # (andets3)
          # (n_t_3x);
left_l.oe = (bmd09 & op1ts3)
          # (andets3)
          # (n_t_3x);
property atmel {open_collector= link_l};
!link_l = link;
link_l.oe = link;
property atmel {open_collector= md_dis};
!md_dis = (bms_dis & bk_dc_l);
md_dis.oe = (bms_dis & bk_dc_l);
property atmel {open_collector= mq2bus_l};
!mq2bus_l = (ind1 & bts1 & n_t_47x)
            # (opets3 & bmd05 & pause_l);
mq2bus_l.oe = (ind1 & bts1 & n_t_47x)
            # (opets3 & bmd05 & pause_l);
property atmel {open_collector= mq_load_l};
!mq_load_l = (ope & bmd07 & btp3);
mq_load_l.oe = (ope & bmd07 & btp3);
property atmel {open_collector= n3v};
!n3v = 'b'0;
n3v.oe = 'b'0;
property atmel {open_collector= n_t_16x};
!n_t_16x = (n_t_15x & n_t_14x);
n_t_16x.oe = (n_t_15x & n_t_14x);
property atmel {open_collector= n_t_17x};
!n_t_17x = (n_t_25x & run);
n_t_17x.oe = (n_t_25x & run);
property atmel {open_collector= n_t_30x};
!n_t_30x = (op2ts3 & n_t_43x)
           # (n_t_29x)
           # (ov & iszets3);
n_t_30x.oe = (op2ts3 & n_t_43x)
           # (n_t_29x)
           # (ov & iszets3);
property atmel {open_collector= n_t_34x};
!n_t_34x = (initialize)
           # (bf & tp1)
           # (jmse & btp2);
n_t_34x.oe = (initialize)
           # (bf & tp1)
           # (jmse & btp2);
property atmel {open_collector= n_t_35x};
!n_t_35x = (aceq0 & bmd06)
           # (ac00 & bmd05)
           # (bmd07 & link);
n_t_35x.oe = (aceq0 & bmd06)
           # (ac00 & bmd05)
           # (bmd07 & link);
property atmel {open_collector= n_t_37x};
!n_t_37x = (bts4 & bkc)
           # (fe_fd_l & ts4fset_not_ms_dis)
           # (n_t_36x & c1_l)
           # (jmsets2);
n_t_37x.oe = (bts4 & bkc)
           # (fe_fd_l & ts4fset_not_ms_dis)
           # (n_t_36x & c1_l)
           # (jmsets2);
property atmel {open_collector= n_t_44x};
!n_t_44x = (bts3 & md04_l & oprf);
n_t_44x.oe = (bts3 & md04_l & oprf);
property atmel {open_collector= n_t_6x};
!n_t_6x = n_t_9x;
n_t_6x.oe = n_t_9x;
property atmel {open_collector= n_t_9x};
!n_t_9x = (n_t_81x & btp3)
          # (n_t_10x);
n_t_9x.oe = (n_t_81x & btp3)
          # (n_t_10x);
property atmel {open_collector= overflow_l};
!overflow_l = (ov & bts3);
overflow_l.oe = (ov & bts3);
property atmel {open_collector= pc_load_l};
!pc_load_l = (bus_strobe & n_t_31x)
             # (jmp & btp3)
             # (bf_kc & tp1)
             # (jmse & btp3);
pc_load_l.oe = (bus_strobe & n_t_31x)
             # (jmp & btp3)
             # (bf_kc & tp1)
             # (jmse & btp3);
property atmel {open_collector= right_l};
!right_l = (bmd08 & op1ts3)
           # (andets3)
           # (n_t_3x);
right_l.oe = (bmd08 & op1ts3)
           # (andets3)
           # (n_t_3x);
property atmel {open_collector= twice_l};
!twice_l = (op1ts3 & bmd10)
           # (n_t_3x);
twice_l.oe = (op1ts3 & bmd10)
           # (n_t_3x);