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

Name     BM8L ;
PartNo   cpld ;
Date     3/29/2023 ;
Revision 01 ;
Designer  ;
Company   ;
Assembly None ;
Location E1 ;
Device   f1508isptqfp100;

$DEFINE OPTIMIZE

$UNDEF  OPTIMIZE

/* Input Pins */

/* Output Pins */
pin = ac00_bus_l;
pin = ac01_bus_l;
pin = ac02_bus_l;
pin = ac03_bus_l;
pin = ac04_bus_l;
pin = ac05_bus_l;
pin = ac06_bus_l;
pin = ac07_bus_l;
pin = ac08_bus_l;
pin = ac09_bus_l;
pin = ac10_bus_l;
pin = ac11_bus_l;
pin = ac_clr_bus_l;
pin = ac_ok;
pin = add_accepted_l;
pin = b_init;
pin = b_initialize;
pin = b_run_l;
pin = bac00;
pin = bac01;
pin = bac02;
pin = bac03;
pin = bac04;
pin = bac05;
pin = bac06;
pin = bac07;
pin = bac08;
pin = bac09;
pin = bac10;
pin = bac11;
pin = bema;
pin = bf_enable_l;
pin = biop1;
pin = biop2;
pin = biop4;
pin = bma00;
pin = bma01;
pin = bma02;
pin = bma03;
pin = bma04;
pin = bma05;
pin = bma06;
pin = bma07;
pin = bma08;
pin = bma09;
pin = bma10;
pin = bma11;
pin = bmb00;
pin = bmb01;
pin = bmb02;
pin = bmb03;
pin = bmb03_l;
pin = bmb04;
pin = bmb04_l;
pin = bmb05;
pin = bmb05_l;
pin = bmb06;
pin = bmb06_l;
pin = bmb07;
pin = bmb07_l;
pin = bmb08;
pin = bmb08_l;
pin = bmb09;
pin = bmb10;
pin = bmb11;
pin = break_l;
pin = brq_l;
pin = btp2;
pin = btp3;
pin = bts1;
pin = bts3;
pin = ca_incr_l;
pin = da00_l;
pin = da01_l;
pin = da02_l;
pin = da03_l;
pin = da04_l;
pin = da05_l;
pin = da06_l;
pin = da07_l;
pin = da08_l;
pin = da09_l;
pin = da10_l;
pin = da11_l;
pin = data00_l;
pin = data01_l;
pin = data02_l;
pin = data03_l;
pin = data04_l;
pin = data05_l;
pin = data06_l;
pin = data07_l;
pin = data08_l;
pin = data09_l;
pin = data10_l;
pin = data11_l;
pin = data_in_l;
pin = del1;
pin = del2;
pin = del3;
pin = del4;
pin = del5;
pin = del6;
pin = df_enable_l;
pin = done;
pin = e_or_f_set;
pin = ea0;
pin = ea0_l;
pin = ea1;
pin = ea1_l;
pin = ea2;
pin = ea2_l;
pin = ea_l;
pin = ema00_l;
pin = ema01_l;
pin = ema02_l;
pin = ema_l;
pin = ex_da0_l;
pin = ex_da1_l;
pin = ex_da2_l;
pin = field1;
pin = field1_l;
pin = inhibit;
pin = int_inhibit_l;
pin = irq_bus_l;
pin = jmp_or_jms;
pin = key_clr_l;
pin = key_df0;
pin = key_df1;
pin = key_df2_l;
pin = key_if0;
pin = key_if1;
pin = key_if2_l;
pin = key_load_l;
pin = line_l;
pin = load_sf_l;
pin = ma00_l;
pin = ma01_l;
pin = ma02_l;
pin = ma03_l;
pin = ma04_l;
pin = ma05_l;
pin = ma06_l;
pin = ma07_l;
pin = ma08_l;
pin = ma09_l;
pin = ma10_l;
pin = ma11_l;
pin = mb_incr_l;
pin = mb_parity_odd;
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 = mem00;
pin = mem01;
pin = mem02;
pin = mem03;
pin = mem04;
pin = mem05;
pin = mem06;
pin = mem07;
pin = mem08;
pin = mem09;
pin = mem10;
pin = mem11;
pin = mem_done_l;
pin = mem_p;
pin = mem_start;
pin = n15v;
pin = n3cycle_l;
pin = n3v;
pin = n_t_10x;
pin = n_t_119x;
pin = n_t_11x;
pin = n_t_120x;
pin = n_t_12x;
pin = n_t_13x;
pin = n_t_14x;
pin = n_t_15x;
pin = n_t_17x;
pin = n_t_6x;
pin = n_t_7x;
pin = n_t_83x;
pin = n_t_84x;
pin = n_t_89x;
pin = n_t_8x;
pin = n_t_90x;
pin = n_t_91x;
pin = n_t_9x;
pin = not_fld0;
pin = power_ok;
pin = read_l;
pin = returnh;
pin = skip_bus_l;
pin = source;
pin = sp_cyc_next_l;
pin = stop_ok;
pin = strobe;
pin = strobe_l;
pin = wc_ovfl_l;
pin = write;
node n_t_68x;
node n_t_69x;
node n_t_70x;
node n_t_71x;
node n_t_66x;
node n_t_67x;
node n_t_72x;
node n_t_73x;
node n_t_74x;
node n_t_75x;
node n_t_76x;
node n_t_77x;
node eab0;
node eab1;
node eab2;
node if0;
node if1;
node if2;
node bf0;
node bf1;
node bf2;
node ib0;
node ib1;
node ib2;
node inth;
node select;
node df0;
node df1;
node df2;
node sf0;
node sf1;
node sf2;
node sf3;
node sf4;
node sf5;
node read;
node ret_l;
node sorc_l;
node strob_l;
node wrt_l;
node inh_l;

/* Internal nodes */
$IFNDEF OPTIMIZE
node b_load_sf;
node cdf_l;
node cif_l;
node del1_l;
node del3wrt;
node dfd0;
node dfd1;
node dfd2;
node ea_ok;
node ea_ok_l;
node ead0;
node ead1;
node ead2;
node ext_mem;
node ibd0;
node ibd1;
node ibd2;
node ibif_ena;
node if_ena;
node init_l;
node load_df;
node load_ib;
node load_inh_l;
node load_md_l;
node n_t_16x;
node n_t_18x;
node n_t_19x;
node n_t_21x;
node n_t_22x;
node n_t_23x;
node n_t_25x;
node n_t_26x;
node n_t_27x;
node n_t_28x;
node n_t_29x;
node n_t_2x;
node n_t_31x;
node n_t_32x;
node n_t_33x;
node n_t_34x;
node n_t_35x;
node n_t_36x;
node n_t_37x;
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_45x;
node n_t_47x;
node n_t_48x;
node n_t_49x;
node n_t_4x;
node n_t_50x;
node n_t_51x;
node n_t_52x;
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_60x;
node n_t_61x;
node n_t_62x;
node n_t_63x;
node n_t_64x;
node n_t_65x;
node rdf_l;
node rib_l;
node rif_l;
node rmf_l;
node save_field;
node set_df0_l;
node set_df1_l;
node set_df2_l;
node set_f0_l;
node set_f1_l;
node set_f2_l;
$ENDIF

/* Code nodes */

/* Equations */

/* a08: m117 */
!save_field = !(bmb06 & bmb05_l & bmb04 & bmb03_l);
!ext_mem = !('b'1 & bmb04 & bmb04 & bmb03_l);
rib_l = !(biop4 & ext_mem & bmb07 & bmb08);
rif_l = !(biop4 & ext_mem & bmb07 & bmb08_l);
rdf_l = !(biop4 & ext_mem & bmb07_l & bmb08);
rmf_l = !(biop4 & bmb07_l & bmb08_l & save_field);

/* a09: m111 */

/* a10: m206 */
n_t_68x.ap = !n_t_51x;
n_t_68x.d = !n_t_52x;
n_t_68x.ck = n_t_49x;
n_t_68x.ar = !'b'1;
n_t_69x.ap = !n_t_51x;
n_t_69x.d = !n_t_55x;
n_t_69x.ck = n_t_49x;
n_t_69x.ar = !'b'1;
n_t_70x.ap = !n_t_51x;
n_t_70x.d = !n_t_56x;
n_t_70x.ck = n_t_49x;
n_t_70x.ar = !'b'1;
n_t_71x.ap = !n_t_51x;
n_t_71x.d = !n_t_57x;
n_t_71x.ck = n_t_49x;
n_t_71x.ar = !'b'1;
n_t_66x.ap = !n_t_51x;
n_t_66x.d = !n_t_61x;
n_t_66x.ck = n_t_49x;
n_t_66x.ar = !'b'1;
n_t_67x.ap = !n_t_51x;
n_t_67x.d = !n_t_58x;
n_t_67x.ck = n_t_49x;
n_t_67x.ar = !'b'1;

/* a11: empty */

/* a12: empty */

/* a13: empty */

/* a14: m623 */
/* ac06_bus_l = !(if0 & !rif_l); */
/* ac07_bus_l = !(if1 & !rif_l); */
/* ac06_bus_l = !(df0 & !rdf_l); */
/* ac07_bus_l = !(df1 & !rdf_l); */
/* ac08_bus_l = !(!n_t_42x); */
/* ac08_bus_l = !(!n_t_45x); */
/* ac06_bus_l = !(sf0 & !rib_l); */
/* ac09_bus_l = !(sf1 & !rib_l); */
/* ac07_bus_l = !(sf2 & !rib_l); */
/* ac10_bus_l = !(sf3 & !rib_l); */
/* ac08_bus_l = !(sf4 & !rib_l); */
/* ac11_bus_l = !(sf5 & !rib_l); */

/* a15: empty */

/* b08: m623 */
/* n_t_52x = !(bmb00 & !n_t_50x); */
/* n_t_55x = !(bmb01 & !n_t_50x); */
/* n_t_56x = !(bmb02 & !n_t_50x); */
/* n_t_57x = !(!bmb03_l & !n_t_50x); */
/* n_t_61x = !(!bmb04_l & !n_t_50x); */
/* n_t_58x = !(!bmb05_l & !n_t_50x); */
/* n_t_60x = !(!bmb06_l & !n_t_50x); */
/* n_t_59x = !(!bmb07_l & !n_t_50x); */
/* n_t_62x = !(!bmb08_l & !n_t_50x); */
/* n_t_63x = !(bmb09 & !n_t_50x); */
/* n_t_64x = !(bmb10 & !n_t_50x); */
/* n_t_65x = !(bmb11 & !n_t_50x); */

/* b09: m206 */
n_t_72x.ap = !n_t_51x;
n_t_72x.d = !n_t_60x;
n_t_72x.ck = n_t_49x;
n_t_72x.ar = !'b'1;
n_t_73x.ap = !n_t_51x;
n_t_73x.d = !n_t_59x;
n_t_73x.ck = n_t_49x;
n_t_73x.ar = !'b'1;
n_t_74x.ap = !n_t_51x;
n_t_74x.d = !n_t_62x;
n_t_74x.ck = n_t_49x;
n_t_74x.ar = !'b'1;
n_t_75x.ap = !n_t_51x;
n_t_75x.d = !n_t_63x;
n_t_75x.ck = n_t_49x;
n_t_75x.ar = !'b'1;
n_t_76x.ap = !n_t_51x;
n_t_76x.d = !n_t_64x;
n_t_76x.ck = n_t_49x;
n_t_76x.ar = !'b'1;
n_t_77x.ap = !n_t_51x;
n_t_77x.d = !n_t_65x;
n_t_77x.ck = n_t_49x;
n_t_77x.ar = !'b'1;

/* b10: m111 */
bmb03_l = !bmb03;
bmb04_l = !bmb04;
bmb05_l = !bmb05;
bmb06_l = !bmb06;
bmb07_l = !bmb07;
bmb08_l = !bmb08;
field1 = !field1_l;

/* b11: m623 */
/* mem00 = !(!n_t_68x & !n_t_48x); */
/* mem01 = !(!n_t_69x & !n_t_48x); */
/* mem02 = !(!n_t_70x & !n_t_48x); */
/* mem03 = !(!n_t_71x & !n_t_48x); */
/* mem04 = !(!n_t_66x & !n_t_48x); */
/* mem05 = !(!n_t_67x & !n_t_48x); */
/* mem06 = !(!n_t_72x & !n_t_48x); */
/* mem07 = !(!n_t_73x & !n_t_48x); */
/* mem08 = !(!n_t_74x & !n_t_48x); */
/* mem09 = !(!n_t_75x & !n_t_48x); */
/* mem10 = !(!n_t_76x & !n_t_48x); */
/* mem11 = !(!n_t_77x & !n_t_48x); */

/* b12: m627 */
ema00_l = !(eab0 & 'b'1 & 'b'1 & 'b'1);
ema01_l = !(eab1 & 'b'1 & 'b'1 & 'b'1);
ema02_l = !(eab2 & 'b'1 & 'b'1 & 'b'1);
ma00_l = !(bma00 & 'b'1 & 'b'1 & 'b'1);
ma01_l = !(bma01 & 'b'1 & 'b'1 & 'b'1);
ma02_l = !(bma02 & 'b'1 & 'b'1 & 'b'1);

/* b13: m627 */
ma03_l = !(bma03 & 'b'1 & 'b'1 & 'b'1);
ma04_l = !(bma04 & 'b'1 & 'b'1 & 'b'1);
ma05_l = !(bma05 & 'b'1 & 'b'1 & 'b'1);
ma06_l = !(bma06 & 'b'1 & 'b'1 & 'b'1);
ma07_l = !(bma07 & 'b'1 & 'b'1 & 'b'1);
ma08_l = !(bma08 & 'b'1 & 'b'1 & 'b'1);

/* b14: m627 */
ma09_l = !(bma09 & 'b'1 & 'b'1 & 'b'1);
ma10_l = !(bma10 & 'b'1 & 'b'1 & 'b'1);
ma11_l = !(bma11 & 'b'1 & 'b'1 & 'b'1);
n_t_50x = !(write & 'b'1 & 'b'1 & 'b'1);
n_t_48x = !('b'1 & select);
b_load_sf = !(load_sf_l & key_clr_l & 'b'1 & 'b'1);

/* b15: m623 */
/* strobe_l = !(!n_t_3x & select); */
/* mem_done_l = !(done & select); */

/* c08: m627 */
returnh = !('b'1 & ret_l);
source = !('b'1 & sorc_l);
inhibit = !('b'1 & inh_l);
write = !('b'1 & wrt_l);
strobe = !('b'1 & strob_l);

/* c09: m115 */
del1_l = !('b'1 & del1);
!ibif_ena = !(bf_enable_l & sp_cyc_next_l & df_enable_l);
not_fld0 = !(ea0_l & ea1_l & ea2_l);
n_t_3x = !(del4 & read & read);
n_t_18x = !(del2 & read & read);
n_t_5x = !(del1 & write & write);
n_t_19x = !(del5 & read & read);
load_inh_l = !(e_or_f_set & jmp_or_jms & btp3);

/* c10: m113 */
if_ena = !(e_or_f_set & jmp_or_jms);
n_t_28x = !(ib2 & !if_ena);
n_t_29x = !(if2 & if_ena);
n_t_27x = !(n_t_28x & n_t_29x);
n_t_21x = !(df0 & !df_enable_l);
ead0 = !(n_t_21x & n_t_22x);
n_t_26x = !(df1 & !df_enable_l);
ead1 = !(n_t_26x & n_t_25x);
n_t_34x = !(df2 & !df_enable_l);
ead2 = !(n_t_34x & n_t_33x);

/* c11: m113 */
n_t_36x = !(sf0 & bmb09);
n_t_31x = !(bmb06 & !bmb09);
ibd0 = !(n_t_36x & n_t_31x);
n_t_35x = !(sf1 & bmb09);
dfd0 = !(n_t_31x & n_t_35x);
n_t_32x = !(sf2 & bmb09);
n_t_38x = !(bmb07 & !bmb09);
ibd1 = !(n_t_32x & n_t_38x);
n_t_37x = !(sf3 & bmb09);
dfd1 = !(n_t_38x & n_t_37x);

/* c12: m113 */
n_t_40x = !(sf4 & bmb09);
n_t_39x = !(bmb08 & !bmb09);
ibd2 = !(n_t_40x & n_t_39x);
n_t_41x = !(sf5 & bmb09);
dfd2 = !(n_t_39x & n_t_41x);
set_f0_l = !(key_if0 & !key_load_l);
set_df0_l = !(key_df0 & !key_load_l);
set_f1_l = !(key_if1 & !key_load_l);
set_df1_l = !(key_df1 & !key_load_l);
set_f2_l = !(!key_if2_l & !key_load_l);

/* c13: m113 */
n_t_42x = !(if2 & !rif_l);
n_t_45x = !(df2 & !rdf_l);
set_df2_l = !(!key_df2_l & !key_load_l);
n_t_2x = !(!b_init & power_ok);
n_t_6x = !(!mem_start & !btp2);
cdf_l = !(biop1 & ext_mem);
cif_l = !(biop2 & ext_mem);
load_df = !(rmf_l & cdf_l);
load_ib = !(rmf_l & cif_l);
n_t_47x = !(load_inh_l & key_clr_l);
strobe_l = 'b'1;

/* c14: m627 */
n_t_49x = !(load_md_l & 'b'1 & 'b'1 & 'b'1);
n_t_51x = !(b_init & 'b'1 & 'b'1 & 'b'1);
init_l = !(n_t_2x & 'b'1 & 'b'1 & 'b'1);
ea_l = !(not_fld0 & 'b'1 & 'b'1 & 'b'1);
ema_l = !(ea2 & 'b'1 & 'b'1 & 'b'1);
bema = !(n_t_16x & 'b'1 & 'b'1 & 'b'1);

/* c15: m206 */
eab0.ar = !init_l;
eab0.d = ea0;
eab0.ck = mem_start;
eab0.ap = !set_f0_l;
eab1.ar = !init_l;
eab1.d = ea1;
eab1.ck = mem_start;
eab1.ap = !set_f1_l;
eab2.ar = !init_l;
eab2.d = ea2;
eab2.ck = mem_start;
eab2.ap = !set_f2_l;

/* c16: m115 */
ea_ok_l = !(not_fld0 & n_t_17x & 'b'1);
ea_ok = !(ea_ok_l & 'b'1 & 'b'1);
field1_l = !(ea0_l & ea1_l & ea2);
load_md_l = !(del4 & read & read);
!del3wrt = !(del3 & write);
n_t_16x = !(n_t_15x & n_t_14x & n_t_13x);

/* d08: m111 */
int_inhibit_l = !inth;

/* d09: m121 */
n_t_4x = !if_ena & ib0
       # if_ena & if0;
n_t_23x = ib1 & !if_ena
        # if1 & if_ena;
n_t_22x = bf0 & !bf_enable_l
        # ibif_ena & !n_t_4x;
n_t_25x = bf1 & !bf_enable_l
        # ibif_ena & !n_t_23x;
n_t_33x = bf2 & !bf_enable_l
        # ibif_ena & n_t_27x;

/* d10: m206 */
ea0.ar = b_load_sf;
ea0.d = ead0;
ea0.ck = del3wrt;
ea0.ap = !set_f0_l;
ea0_l = !ea0;
ea1.ar = b_load_sf;
ea1.d = ead1;
ea1.ck = del3wrt;
ea1.ap = !set_f1_l;
ea1_l = !ea1;
ea2.ar = b_load_sf;
ea2.d = ead2;
ea2.ck = del3wrt;
ea2.ap = !set_f2_l;
ea2_l = !ea2;
if0.ar = b_load_sf;
if0.d = ib0;
if0.ck = !load_inh_l;
if0.ap = !set_f0_l;
if1.ar = b_load_sf;
if1.d = ib1;
if1.ck = !load_inh_l;
if1.ap = !set_f1_l;
if2.ar = b_load_sf;
if2.d = ib2;
if2.ck = !load_inh_l;
if2.ap = !set_f2_l;

/* d11: m206 */
bf0.ar = !'b'1;
bf0.d = 'b'0;
bf0.ck = del2;
bf0.ap = !ex_da0_l;
bf1.ar = !'b'1;
bf1.d = 'b'0;
bf1.ck = del2;
bf1.ap = !ex_da1_l;
bf2.ar = !'b'1;
bf2.d = 'b'0;
bf2.ck = del2;
bf2.ap = !ex_da2_l;
ib0.ar = b_load_sf;
ib0.d = ibd0;
ib0.ck = load_ib;
ib0.ap = !set_f0_l;
ib1.ar = b_load_sf;
ib1.d = ibd1;
ib1.ck = load_ib;
ib1.ap = !set_f1_l;
ib2.ar = b_load_sf;
ib2.d = ibd2;
ib2.ck = load_ib;
ib2.ap = !set_f2_l;

/* d12: m206 */
inth.ar = !init_l;
inth.d = 'b'0;
inth.ck = n_t_47x;
inth.ap = load_ib;
select.ar = !init_l;
select.d = ea_ok;
select.ck = mem_start;
select.ap = !'b'1;
done.ar = !init_l;
done.d = 'b'0;
done.ck = del6;
done.ap = !n_t_19x;
df0.ar = b_load_sf;
df0.d = dfd0;
df0.ck = load_df;
df0.ap = !set_df0_l;
df1.ar = b_load_sf;
df1.d = dfd1;
df1.ck = load_df;
df1.ap = !set_df1_l;
df2.ar = b_load_sf;
df2.d = dfd2;
df2.ck = load_df;
df2.ap = !set_df2_l;

/* d13: m206 */
sf0.ar = !'b'1;
sf0.d = if0;
sf0.ck = b_load_sf;
sf0.ap = !'b'1;
sf1.ar = !'b'1;
sf1.d = df0;
sf1.ck = b_load_sf;
sf1.ap = !'b'1;
sf2.ar = !'b'1;
sf2.d = if1;
sf2.ck = b_load_sf;
sf2.ap = !'b'1;
sf3.ar = !'b'1;
sf3.d = df1;
sf3.ck = b_load_sf;
sf3.ap = !'b'1;
sf4.ar = !'b'1;
sf4.d = if2;
sf4.ck = b_load_sf;
sf4.ap = !'b'1;
sf5.ar = !'b'1;
sf5.d = df2;
sf5.ck = b_load_sf;
sf5.ap = !'b'1;

/* d14: m206 */
read.ar = !init_l;
read.d = 'b'0;
read.ck = btp2;
read.ap = mem_start;
read_l = !read;
ret_l.ap = !init_l;
ret_l.d = 'b'1;
ret_l.ck = del4;
ret_l.ar = !del1_l;
sorc_l.ap = !init_l;
sorc_l.d = 'b'1;
sorc_l.ck = del3;
sorc_l.ar = !del1_l;
strob_l.ap = !init_l;
strob_l.d = 'b'1;
strob_l.ck = del3;
strob_l.ar = !n_t_18x;
wrt_l.ap = !init_l;
wrt_l.d = 'b'1;
wrt_l.ck = del5;
wrt_l.ar = !btp2;
inh_l.ap = !init_l;
inh_l.d = 'b'1;
inh_l.ck = del4;
inh_l.ar = !n_t_5x;

/* Open collector 'wire-or's */
property atmel {open_collector= ac06_bus_l};
!ac06_bus_l = (if0 & !rif_l)
              # (df0 & !rdf_l)
              # (sf0 & !rib_l);
ac06_bus_l.oe = (if0 & !rif_l)
              # (df0 & !rdf_l)
              # (sf0 & !rib_l);
property atmel {open_collector= ac07_bus_l};
!ac07_bus_l = (if1 & !rif_l)
              # (df1 & !rdf_l)
              # (sf2 & !rib_l);
ac07_bus_l.oe = (if1 & !rif_l)
              # (df1 & !rdf_l)
              # (sf2 & !rib_l);
property atmel {open_collector= ac08_bus_l};
!ac08_bus_l = (!n_t_42x)
              # (!n_t_45x)
              # (sf4 & !rib_l);
ac08_bus_l.oe = (!n_t_42x)
              # (!n_t_45x)
              # (sf4 & !rib_l);
property atmel {open_collector= ac09_bus_l};
!ac09_bus_l = (sf1 & !rib_l);
ac09_bus_l.oe = (sf1 & !rib_l);
property atmel {open_collector= ac10_bus_l};
!ac10_bus_l = (sf3 & !rib_l);
ac10_bus_l.oe = (sf3 & !rib_l);
property atmel {open_collector= ac11_bus_l};
!ac11_bus_l = (sf5 & !rib_l);
ac11_bus_l.oe = (sf5 & !rib_l);
property atmel {open_collector= mem00};
!mem00 = (!n_t_68x & !n_t_48x);
mem00.oe = (!n_t_68x & !n_t_48x);
property atmel {open_collector= mem01};
!mem01 = (!n_t_69x & !n_t_48x);
mem01.oe = (!n_t_69x & !n_t_48x);
property atmel {open_collector= mem02};
!mem02 = (!n_t_70x & !n_t_48x);
mem02.oe = (!n_t_70x & !n_t_48x);
property atmel {open_collector= mem03};
!mem03 = (!n_t_71x & !n_t_48x);
mem03.oe = (!n_t_71x & !n_t_48x);
property atmel {open_collector= mem04};
!mem04 = (!n_t_66x & !n_t_48x);
mem04.oe = (!n_t_66x & !n_t_48x);
property atmel {open_collector= mem05};
!mem05 = (!n_t_67x & !n_t_48x);
mem05.oe = (!n_t_67x & !n_t_48x);
property atmel {open_collector= mem06};
!mem06 = (!n_t_72x & !n_t_48x);
mem06.oe = (!n_t_72x & !n_t_48x);
property atmel {open_collector= mem07};
!mem07 = (!n_t_73x & !n_t_48x);
mem07.oe = (!n_t_73x & !n_t_48x);
property atmel {open_collector= mem08};
!mem08 = (!n_t_74x & !n_t_48x);
mem08.oe = (!n_t_74x & !n_t_48x);
property atmel {open_collector= mem09};
!mem09 = (!n_t_75x & !n_t_48x);
mem09.oe = (!n_t_75x & !n_t_48x);
property atmel {open_collector= mem10};
!mem10 = (!n_t_76x & !n_t_48x);
mem10.oe = (!n_t_76x & !n_t_48x);
property atmel {open_collector= mem11};
!mem11 = (!n_t_77x & !n_t_48x);
mem11.oe = (!n_t_77x & !n_t_48x);
property atmel {open_collector= mem_done_l};
!mem_done_l = (done & select);
mem_done_l.oe = (done & select);
!n_t_52x = (bmb00 & !n_t_50x);
!n_t_55x = (bmb01 & !n_t_50x);
!n_t_56x = (bmb02 & !n_t_50x);
!n_t_57x = (!bmb03_l & !n_t_50x);
!n_t_58x = (!bmb05_l & !n_t_50x);
!n_t_59x = (!bmb07_l & !n_t_50x);
!n_t_60x = (!bmb06_l & !n_t_50x);
!n_t_61x = (!bmb04_l & !n_t_50x);
!n_t_62x = (!bmb08_l & !n_t_50x);
!n_t_63x = (bmb09 & !n_t_50x);
!n_t_64x = (bmb10 & !n_t_50x);
!n_t_65x = (bmb11 & !n_t_50x);
property atmel {open_collector= strobe_l};
!strobe_l = (!n_t_3x & select);
strobe_l.oe = (!n_t_3x & select);