/* This file is generated by topld.pl!! */ /* Please don't edit it. */ Name M7106C ; PartNo cpld ; Date XX/XX/XXXX ; Revision 01 ; Designer ; Company ; Assembly None ; Location E1 ; Device f1508isptqfp100; $DEFINE OPTIMIZE $UNDEF OPTIMIZE /* Input Pins */ pin = bdata7; pin = btp2; pin = btp3; pin = btp3_ok; pin = clr_all_l; pin = clr_drive_cmd_l; pin = clr_sector_ad_l; pin = crc16; pin = data_enab_l; pin = data_enable; pin = dsk_acknowledge_l; pin = dsk_data_in_l; pin = dsk_file_rdy_l; pin = dsk_index_mk_l; pin = dsk_rd_clk_l; pin = dsk_sec1_l; pin = dsk_sec2_l; pin = dsk_sec4_l; pin = dsk_sec8_l; pin = dsk_sector_mk_l; pin = dsk_wrt_status_l; pin = error_clr_l; pin = function00; pin = function01; pin = function02; pin = half_block; pin = hi_main_shft_l; pin = last_brk; pin = last_word; pin = lo_main_shft_l; pin = main_l; pin = n3v; pin = n6rk3_ok; pin = n_t_18x; pin = n_t_21x; pin = n_t_24x; pin = n_t_36x; pin = n_t_49x; pin = n_t_52x; pin = n_t_53x; pin = n_t_57x; pin = n_t_60x; pin = n_t_74x; pin = n_t_76x; pin = n_t_7x; pin = n_t_8x; pin = n_t_90x; pin = n_t_9x; pin = rdy_s_r_w; pin = rk_data11; pin = set_idle_pl_l; pin = shft_surf; /* Output Pins */ pin = b_idle; pin = b_last_brk; pin = bdata10; pin = bdata11; pin = bdata8; pin = bdata9; pin = brk_enab_clk; pin = brk_in_clk; pin = clr_cntrs_l; pin = crc_data; pin = data10_l; pin = data11_l; pin = data8_l; pin = data9_l; pin = data_clk_ok; pin = data_clr_l; pin = data_in_l; pin = data_state; pin = data_state_l; pin = drv_revo; pin = dsk_head_sel1_l; pin = dsk_read_l; pin = dsk_restore_l; pin = dsk_strobe_l; pin = dsk_wrt_clk_data_l; pin = dsk_wrt_erase_gate_l; pin = dsk_wrt_protect_l; pin = end_state; pin = end_state_l; pin = erase_dly_l; pin = file_rdy; pin = idle; pin = idle_l; pin = initialize; pin = inside_in_l; pin = last_word_pl; pin = ld_disk_addrs; pin = ma0_l; pin = ma10_l; pin = ma11_l; pin = ma1_l; pin = ma3_l; pin = md0_l; pin = md10_l; pin = md11_l; pin = md1_l; pin = md2_l; pin = md8_l; pin = md9_l; pin = n12th_bit_ok; pin = n12th_carry_l; pin = n16_carry; pin = n_t_16x; pin = n_t_20x; pin = n_t_25x; pin = n_t_40x; pin = n_t_56x; pin = n_t_59x; pin = n_t_61x; pin = n_t_6x; pin = outside_clk_l; pin = rd_clk1; pin = rd_shft_db_l; pin = read_dly_l; pin = sector_addrs1; pin = sector_mk; pin = sector_mk_l; pin = sector_seek_l; pin = shft_wrt_buff_l; pin = shift_crc_l; pin = skip_l; pin = state_enab_b; pin = strobe; pin = sync_dly_l; pin = write; pin = wrt_cmd; pin = wrt_cmd_l; node gdollar_0; node gdollar_1; node gdollar_2; node gdollar_3; node n_t_11x; node n_t_13x; node gdollar_4; node n_t_14x; node gdollar_5; node gdollar_6; node gdollar_7; node gdollar_8; node gdollar_9; node gdollar_10; node gdollar_11; node n128th_word; node gdollar_12; node gdollar_13; node gdollar_14; node gdollar_15; node gdollar_16; node gdollar_17; node gdollar_18; node gdollar_19; node data_in; node inh_12th_bit_l; node restore; node header_a; node header_b; node header_c; node crc_state; node header_e; node sector_seek; node header_d; node wrt_sync_bit; node read_l; node n_t_31x; node top_surf; node sector_addrs8; node sector_addrs4; node sector_addrs2; node gdollar_20, gdollar_21, gdollar_22, gdollar_23; /* Internal nodes */ $IFNDEF OPTIMIZE node acknowledge; node b_wrt_clk; node b_wrt_clk_l; node check_header_cmd_l; node clr_cntrs; node clr_drive_cmd; node clr_states; node clr_strobe_l; node crc_state_l; node data_clk; node data_out_pl_l; node disk_ok; node dsk_sec2; node go; node go_l; node header_c_l; node header_d_l; node header_e_l; node in; node inc_brk_cntr_l; node inc_cntrs; node inc_cntrs_l; node inh_12th_bit; node last_word_pl_l; node n12th_carry; node n16th_bit; node n16th_bit_l; node n6rk3_ok_l; node n_t_10x; node n_t_12x; node n_t_15x; node n_t_17x; node n_t_19x; node n_t_1x; node n_t_26x; node n_t_27x; node n_t_28x; node n_t_29x; node n_t_2x; node n_t_30x; node n_t_32x; node n_t_35x; node n_t_37x; node n_t_38x; node n_t_39x; node n_t_3x; node n_t_41x; node n_t_42x; node n_t_43x; node n_t_44x; node n_t_45x; node n_t_46x; node n_t_4x; node n_t_51x; node n_t_54x; node n_t_58x; node n_t_5x; node n_t_62x; node n_t_63x; node n_t_64x; node n_t_65x; node n_t_66x; node n_t_67x; node n_t_68x; node n_t_69x; node n_t_70x; node n_t_71x; node n_t_72x; node n_t_75x; node n_t_77x; node n_t_78x; node n_t_79x; node n_t_80x; node n_t_81x; node n_t_82x; node n_t_83x; node n_t_84x; node n_t_85x; node not_chk_header_cmd; node rd_clk1_l; node rd_clk2; node rd_clk2_l; node rd_shft_crc; node rd_sync_bit_l; node read; node read_clk; node read_data_in; node read_data_in_l; node restore_l; node sector_eq; node seek_l; node seek_only; node set_header_e_l; node set_sector_seek_l; node sk_chk_rd_l; node sk_chk_wrt_l; node sk_rd_l; node sk_wrt_l; node state_enab_a_l; node write_l; node wrt_clk_data; node wrt_clk_l; node wrt_lock_out; node wrt_lock_out_l; node wrt_shft_crc; node wrt_sync_bit_l; $ENDIF /* Code nodes */ /* Equations */ /* c1: c_us */ /* c2: c_us */ /* c3: c_us */ /* c4: c_us */ /* c5: 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 */ /* c27: cpol_use */ /* c28: cpol_use */ /* c29: cpol_use */ /* c30: c_us */ /* c31: c_us */ /* c32: c_us */ /* c34: c_us */ /* c35: c_us */ /* c39: c_us */ /* c40: c_us */ /* c41: c_us */ /* c42: c_us */ /* c43: c_us */ /* c44: c_us */ /* c45: c_us */ /* e1: sn74161 */ gdollar_0.ar = !clr_cntrs_l; gdollar_0.ck = !inc_cntrs_l; gdollar_0.j = !(!n3v) & (n3v # !n3v); gdollar_0.k = (n3v # !n3v); gdollar_1.ar = !clr_cntrs_l; gdollar_1.ck = !inc_cntrs_l; gdollar_1.j = !(!n3v) & ((n3v & gdollar_0) # !n3v); gdollar_1.k = ((n3v & gdollar_0) # !n3v); gdollar_2.ar = !clr_cntrs_l; gdollar_2.ck = !inc_cntrs_l; gdollar_2.j = !(!n3v) & ((n3v & gdollar_0 & gdollar_1) # !n3v); gdollar_2.k = ((n3v & gdollar_0 & gdollar_1) # !n3v); gdollar_3.ar = !clr_cntrs_l; gdollar_3.ck = !inc_cntrs_l; gdollar_3.j = !(!n3v) & ((n3v & gdollar_0 & gdollar_1 & gdollar_2) # !n3v); gdollar_3.k = ((n3v & gdollar_0 & gdollar_1 & gdollar_2) # !n3v); n16_carry = n3v & gdollar_3 & gdollar_2 & gdollar_1 & gdollar_0; /* e2: sn74161 */ n_t_11x.ar = !clr_cntrs_l; n_t_11x.ck = !inc_cntrs_l; n_t_11x.j = !(!n12th_carry_l) & (n3v # !n12th_carry_l); n_t_11x.k = (n3v # !n12th_carry_l); n_t_13x.ar = !clr_cntrs_l; n_t_13x.ck = !inc_cntrs_l; n_t_13x.j = !(!n12th_carry_l) & ((n3v & n_t_11x) # !n12th_carry_l); n_t_13x.k = ((n3v & n_t_11x) # !n12th_carry_l); gdollar_4.ar = !clr_cntrs_l; gdollar_4.ck = !inc_cntrs_l; gdollar_4.j = !(!n12th_carry_l) & ((n3v & n_t_11x & n_t_13x) # !n12th_carry_l); gdollar_4.k = ((n3v & n_t_11x & n_t_13x) # !n12th_carry_l); n_t_14x.ar = !clr_cntrs_l; n_t_14x.ck = !inc_cntrs_l; n_t_14x.j = !(!n12th_carry_l) & ((n3v & n_t_11x & n_t_13x & gdollar_4) # !n12th_carry_l); n_t_14x.k = ((n3v & n_t_11x & n_t_13x & gdollar_4) # !n12th_carry_l); /* e3: sn74161 */ gdollar_5.ar = !clr_cntrs_l; gdollar_5.ck = !inc_cntrs_l; gdollar_5.j = !(!n3v) & (n12th_carry # !n3v); gdollar_5.k = (n12th_carry # !n3v); gdollar_6.ar = !clr_cntrs_l; gdollar_6.ck = !inc_cntrs_l; gdollar_6.j = !(!n3v) & ((n12th_carry & gdollar_5) # !n3v); gdollar_6.k = ((n12th_carry & gdollar_5) # !n3v); gdollar_7.ar = !clr_cntrs_l; gdollar_7.ck = !inc_cntrs_l; gdollar_7.j = !(!n3v) & ((n12th_carry & gdollar_5 & gdollar_6) # !n3v); gdollar_7.k = ((n12th_carry & gdollar_5 & gdollar_6) # !n3v); gdollar_8.ar = !clr_cntrs_l; gdollar_8.ck = !inc_cntrs_l; gdollar_8.j = !(!n3v) & ((n12th_carry & gdollar_5 & gdollar_6 & gdollar_7) # !n3v); gdollar_8.k = ((n12th_carry & gdollar_5 & gdollar_6 & gdollar_7) # !n3v); n_t_15x = n12th_carry & gdollar_8 & gdollar_7 & gdollar_6 & gdollar_5; /* e4: sn74161 */ gdollar_9.ar = !clr_cntrs_l; gdollar_9.ck = !inc_cntrs_l; gdollar_9.j = !(!n3v) & (n_t_15x # !n3v); gdollar_9.k = (n_t_15x # !n3v); gdollar_10.ar = !clr_cntrs_l; gdollar_10.ck = !inc_cntrs_l; gdollar_10.j = !(!n3v) & ((n_t_15x & gdollar_9) # !n3v); gdollar_10.k = ((n_t_15x & gdollar_9) # !n3v); gdollar_11.ar = !clr_cntrs_l; gdollar_11.ck = !inc_cntrs_l; gdollar_11.j = !(!n3v) & ((n_t_15x & gdollar_9 & gdollar_10) # !n3v); gdollar_11.k = ((n_t_15x & gdollar_9 & gdollar_10) # !n3v); n128th_word.ar = !clr_cntrs_l; n128th_word.ck = !inc_cntrs_l; n128th_word.j = !(!n3v) & ((n_t_15x & gdollar_9 & gdollar_10 & gdollar_11) # !n3v); n128th_word.k = ((n_t_15x & gdollar_9 & gdollar_10 & gdollar_11) # !n3v); n_t_16x = n_t_15x & n128th_word & gdollar_11 & gdollar_10 & gdollar_9; /* e5: sn74161 */ gdollar_12.ar = !clr_all_l; gdollar_12.ck = !inc_brk_cntr_l; gdollar_12.j = !(!n6rk3_ok_l) & ((n_t_1x & n3v) # !n6rk3_ok_l); gdollar_12.k = ((n_t_1x & n3v) # !n6rk3_ok_l); gdollar_13.ar = !clr_all_l; gdollar_13.ck = !inc_brk_cntr_l; gdollar_13.j = !(!n6rk3_ok_l) & ((n_t_1x & n3v & gdollar_12) # !n6rk3_ok_l); gdollar_13.k = ((n_t_1x & n3v & gdollar_12) # !n6rk3_ok_l); gdollar_14.ar = !clr_all_l; gdollar_14.ck = !inc_brk_cntr_l; gdollar_14.j = !(!n6rk3_ok_l) & ((n_t_1x & n3v & gdollar_12 & gdollar_13) # !n6rk3_ok_l); gdollar_14.k = ((n_t_1x & n3v & gdollar_12 & gdollar_13) # !n6rk3_ok_l); gdollar_15.ar = !clr_all_l; gdollar_15.ck = !inc_brk_cntr_l; gdollar_15.j = !(!half_block & !n6rk3_ok_l) & ((n_t_1x & n3v & gdollar_12 & gdollar_13 & gdollar_14) # !n6rk3_ok_l); gdollar_15.k = !(half_block & !n6rk3_ok_l) & ((n_t_1x & n3v & gdollar_12 & gdollar_13 & gdollar_14) # !n6rk3_ok_l); b_last_brk = n3v & gdollar_15 & gdollar_14 & gdollar_13 & gdollar_12; /* e6: sn74161 */ gdollar_16.ar = !clr_all_l; gdollar_16.ck = !inc_brk_cntr_l; gdollar_16.j = !(!n6rk3_ok_l) & (data_enable # !n6rk3_ok_l); gdollar_16.k = (data_enable # !n6rk3_ok_l); gdollar_17.ar = !clr_all_l; gdollar_17.ck = !inc_brk_cntr_l; gdollar_17.j = !(!n6rk3_ok_l) & ((data_enable & gdollar_16) # !n6rk3_ok_l); gdollar_17.k = ((data_enable & gdollar_16) # !n6rk3_ok_l); gdollar_18.ar = !clr_all_l; gdollar_18.ck = !inc_brk_cntr_l; gdollar_18.j = !(!n6rk3_ok_l) & ((data_enable & gdollar_16 & gdollar_17) # !n6rk3_ok_l); gdollar_18.k = ((data_enable & gdollar_16 & gdollar_17) # !n6rk3_ok_l); gdollar_19.ar = !clr_all_l; gdollar_19.ck = !inc_brk_cntr_l; gdollar_19.j = !(!n6rk3_ok_l) & ((data_enable & gdollar_16 & gdollar_17 & gdollar_18) # !n6rk3_ok_l); gdollar_19.k = ((data_enable & gdollar_16 & gdollar_17 & gdollar_18) # !n6rk3_ok_l); n_t_1x = data_enable & gdollar_19 & gdollar_18 & gdollar_17 & gdollar_16; /* e7: sn74h04 */ brk_in_clk = !n_t_4x; rd_clk2_l = !rd_clk2; rd_clk1 = !rd_clk1_l; n_t_59x = !rd_clk1_l; n_t_56x = !read_clk; /* e8: sn7400 */ n_t_4x = !(read & data_state); brk_enab_clk = !(n_t_4x & write_l); rd_sync_bit_l = !(data_in & rd_clk2); rd_clk1_l = !(n_t_57x & read_clk); /* e9: sn7404 */ go_l = !go; n_t_66x = !n_t_67x; clr_states = !n_t_64x; n6rk3_ok_l = !n6rk3_ok; clr_drive_cmd = !clr_drive_cmd_l; n_t_5x = !n_t_2x; /* e10: sn74h10 */ inc_cntrs = !(rd_clk2_l & b_wrt_clk_l & hi_main_shft_l); clr_cntrs = !(n_t_10x & clr_all_l & data_clr_l); n12th_carry_l = !(n_t_11x & n_t_13x & n_t_14x); /* e11: sn74h04 */ inc_cntrs_l = !inc_cntrs; clr_cntrs_l = !clr_cntrs; n12th_carry = !n12th_carry_l; last_word_pl = !last_word_pl_l; n16th_bit = !n16th_bit_l; n_t_6x = !n_t_5x; /* e12: sn7400 */ n_t_10x = !(n_t_5x & n_t_7x); n_t_19x = !(inc_cntrs & n12th_carry); last_word_pl_l = !(last_word & n12th_carry); n16th_bit_l = !(inc_cntrs & n16_carry); /* e13: sn7402 */ n_t_2x = !(header_e # state_enab_b); inc_brk_cntr_l = !(n_t_3x # btp2); n_t_3x = !(btp3_ok # n6rk3_ok_l); n12th_bit_ok = !(n_t_19x # inh_12th_bit); /* e14: sn7400 */ state_enab_b = !(crc_state_l & header_c_l); n_t_17x = !(half_block & n128th_word); rd_shft_db_l = !(rd_clk1 & data_state); shft_wrt_buff_l = !(inh_12th_bit_l & n_t_42x); /* e15: sn7474 */ data_in.ar = !read; data_in.d = 'b'0; data_in.ck = rd_clk2_l; data_in.ap = !read_data_in_l; data_in_l = !data_in; inh_12th_bit_l.ar = !n3v; inh_12th_bit_l.d = n_t_17x; inh_12th_bit_l.ck = n_t_18x; inh_12th_bit_l.ap = !clr_cntrs_l; inh_12th_bit = !inh_12th_bit_l; /* e16: sn7408 */ disk_ok = (rdy_s_r_w & dsk_acknowledge_l); n_t_54x = (n_t_51x & clr_all_l); data_clk = (n_t_29x & n_t_31x); rd_clk2 = (rd_clk1_l & n_t_60x); /* e17: sn7400 */ n_t_44x = !(data_clk & data_state); n_t_41x = !n_t_44x; data_clk_ok = !(lo_main_shft_l & n_t_43x); n_t_43x = !(inh_12th_bit_l & n_t_41x); /* e18: sn7474 */ idle_l.ar = !n_t_64x; idle_l.d = 'b'0; idle_l.ck = n_t_66x; idle_l.ap = !go_l; idle = !idle_l; restore.ar = !clr_strobe_l; restore.d = file_rdy; restore.ck = clr_drive_cmd; restore.ap = !n3v; restore_l = !restore; /* e19: sn7474 */ header_a.ap = !n3v; header_a.d = !check_header_cmd_l; header_a.ck = disk_ok; header_a.ar = !n_t_75x; strobe.ar = !clr_strobe_l; strobe.d = file_rdy; strobe.ck = go; strobe.ap = !n3v; /* e20: sn7474 */ header_b.ar = !n_t_77x; header_b.d = header_a; header_b.ck = sector_mk; header_b.ap = !n3v; header_c.ar = !n_t_78x; header_c.d = header_b; header_c.ck = rd_sync_bit_l; header_c.ap = !header_c_l; header_c_l = !header_c; /* e21: sn7474 */ crc_state.ar = !n_t_72x; crc_state.d = data_state; crc_state.ck = last_word_pl_l; crc_state.ap = !crc_state_l; crc_state_l = !crc_state; end_state.ar = !idle_l; end_state.d = crc_state; end_state.ck = n16th_bit_l; end_state.ap = !n3v; end_state_l = !end_state; /* e22: sn7474 */ data_state.ar = !n_t_71x; data_state.d = header_e; data_state.ck = n16th_bit_l; data_state.ap = !data_state_l; data_state_l = !data_state; header_e.ar = !n_t_79x; header_e.d = header_d; header_e.ck = n_t_80x; header_e.ap = !header_e_l; header_e_l = !header_e; /* e23: sn7402 */ n_t_72x = !(clr_states # end_state); state_enab_a_l = !(data_state # state_enab_b); n_t_71x = !(clr_states # crc_state); n_t_79x = !(data_state # clr_states); /* e24: sn7474 */ sector_seek.ar = !n_t_70x; sector_seek.d = not_chk_header_cmd; sector_seek.ck = disk_ok; sector_seek.ap = !set_sector_seek_l; sector_seek_l = !sector_seek; header_d.ar = !n_t_81x; header_d.d = sector_eq; header_d.ck = sector_mk_l; header_d.ap = !n3v; header_d_l = !header_d; /* e25: sn7400 */ n_t_67x = !(n_t_68x & erase_dly_l); n_t_62x = !(error_clr_l & clr_all_l); n_t_68x = !(strobe & seek_only); seek_only = !(seek_l & restore_l); /* e26: sn7402 */ n_t_75x = !(idle # header_b); n_t_77x = !(clr_states # header_c); clr_strobe_l = !(clr_states # acknowledge); n_t_64x = !(n_t_62x # n_t_63x); /* e27: sn7400 */ n_t_63x = !(n_t_58x & set_idle_pl_l); set_sector_seek_l = !(header_c & n16th_bit); set_header_e_l = !(b_wrt_clk & wrt_sync_bit); wrt_clk_data = !(wrt_clk_l & data_out_pl_l); /* e28: sn7452 */ crc_data = data_in & data_state # data_state & rk_data11 & write # header_c & data_in # crc_state & data_in; /* e29: sn7402 */ n_t_70x = !(idle # header_d); n_t_81x = !(clr_states # header_e); n_t_78x = !(idle # sector_seek); b_wrt_clk = !(n_t_36x # wrt_clk_l); /* e30: sn7402 */ n_t_51x = !(sector_seek # end_state); n_t_46x = !(n_t_45x # header_b); rd_shft_crc = !(rd_clk1_l # state_enab_a_l); n_t_45x = !(wrt_cmd # header_d_l); /* e31: sn74155 */ sk_chk_wrt_l = !(!function01 & !function02 & function00); sk_wrt_l = !(!function01 & function02 & function00); sk_chk_rd_l = !(!function01 & function02 & !function00); sk_rd_l = !(!function01 & !function02 & !function00); wrt_lock_out_l = !(function01 & function02 & !function00); seek_l = !(function01 & !function02 & !function00); /* e32: sn7408 */ n_t_80x = (set_header_e_l & rd_sync_bit_l); ld_disk_addrs = (btp3 & n_t_65x); check_header_cmd_l = (sk_chk_rd_l & sk_chk_wrt_l); n_t_65x = (n6rk3_ok & wrt_lock_out_l); /* e33: sn7400 */ n_t_35x = !(crc16 & n_t_37x); n_t_37x = !(header_e_l & crc_state_l); n_t_32x = !(rk_data11 & data_state); wrt_cmd = !(sk_chk_wrt_l & sk_wrt_l); /* e34: sn7410 */ n_t_39x = !(n_t_32x & n_t_35x & wrt_sync_bit_l); data_out_pl_l = !(n_t_31x & n_t_29x & n_t_39x); not_chk_header_cmd = !(sk_rd_l & sk_wrt_l & sk_wrt_l); /* e35: sn7404 */ sector_mk_l = !sector_mk; read_data_in_l = !read_data_in; wrt_lock_out = !wrt_lock_out_l; b_idle = !idle_l; b_wrt_clk_l = !b_wrt_clk; /* e36: sn7404 */ n_t_30x = !n_t_29x; wrt_cmd_l = !wrt_cmd; n_t_40x = !wrt_clk_l; /* e37: sn7474 */ wrt_sync_bit.ar = !header_d; wrt_sync_bit.d = sync_dly_l; wrt_sync_bit.ck = b_wrt_clk_l; wrt_sync_bit.ap = !n3v; wrt_sync_bit_l = !wrt_sync_bit; read_l.ar = !n3v; read_l.d = n_t_46x; read_l.ck = read_dly_l; read_l.ap = !n_t_54x; read = !read_l; /* e39: sn7410 */ n_t_69x = !(ld_disk_addrs & rdy_s_r_w & main_l); n_t_58x = !(wrt_cmd_l & last_brk & end_state); wrt_clk_l = !(write & n_t_29x & n_t_12x); /* e40: sn7402 */ wrt_shft_crc = !(n_t_38x # b_wrt_clk_l); n_t_42x = !(data_state_l # b_wrt_clk_l); n_t_38x = !(n_t_37x # data_state); shift_crc_l = !(rd_shft_crc # wrt_shft_crc); /* e41: sn7474 */ n_t_31x.ar = !write; n_t_31x.d = n_t_12x; n_t_31x.ck = n_t_30x; n_t_31x.ap = !n3v; n_t_12x = !n_t_31x; write.ar = !idle_l; write.d = wrt_cmd; write.ck = header_d; write.ap = !n3v; write_l = !write; /* e42: sp380n */ !dsk_sec2 = dsk_sec2_l; !acknowledge = dsk_acknowledge_l; /* e44: ds75452n */ /* dsk_wrt_clk_data_l = !(!wrt_clk_data); */ /* e45: sn7400 */ n_t_28x = !(n_t_26x & inside_in_l); n_t_27x = !(n_t_28x & outside_clk_l); n_t_29x = !(n_t_27x & write); go = !(n_t_69x & clr_drive_cmd_l); /* e46: sn7496 */ top_surf.ck = shft_surf; top_surf.d = 'b'0; top_surf.ap = ld_disk_addrs & bdata7; top_surf.ar = !ld_disk_addrs & !clr_sector_ad_l; sector_addrs8.ck = shft_surf; sector_addrs8.d = top_surf; sector_addrs8.ap = ld_disk_addrs & bdata8; sector_addrs8.ar = !ld_disk_addrs & !clr_sector_ad_l; sector_addrs4.ck = shft_surf; sector_addrs4.d = sector_addrs8; sector_addrs4.ap = ld_disk_addrs & bdata9; sector_addrs4.ar = !ld_disk_addrs & !clr_sector_ad_l; sector_addrs2.ck = shft_surf; sector_addrs2.d = sector_addrs4; sector_addrs2.ap = ld_disk_addrs & bdata10; sector_addrs2.ar = !ld_disk_addrs & !clr_sector_ad_l; sector_addrs1.ck = shft_surf; sector_addrs1.d = sector_addrs2; sector_addrs1.ap = ld_disk_addrs & bdata11; sector_addrs1.ar = !ld_disk_addrs & !clr_sector_ad_l; /* e47: sn7485 */ gdollar_20 = sector_addrs8 & !n_t_82x # !sector_addrs8 & n_t_82x; gdollar_21 = sector_addrs4 & !n_t_83x # !sector_addrs4 & n_t_83x; gdollar_22 = sector_addrs2 & !dsk_sec2 # !sector_addrs2 & dsk_sec2; gdollar_23 = sector_addrs1 & !n_t_84x # !sector_addrs1 & n_t_84x; sector_eq = sector_seek & !gdollar_20 & !gdollar_21 & !gdollar_22 & !gdollar_23; /* e48: ds75452n */ /* dsk_strobe_l = !(!strobe); */ /* dsk_head_sel1_l = !(!top_surf); */ /* e49: ds75452n */ /* dsk_read_l = !(!read); */ /* dsk_restore_l = !(!restore); */ /* e50: ds75452n */ /* dsk_wrt_erase_gate_l = !(!write); */ /* dsk_wrt_protect_l = !(!(n6rk3_ok & wrt_lock_out)); */ /* e51: sp380n */ !n_t_26x = n_t_20x; !n_t_25x = n_t_24x; !n_t_85x = wrt_cmd_l # dsk_wrt_status_l; !n_t_20x = n_t_21x; /* e52: sp380n */ !bdata9 = data9_l # data_enab_l; !bdata8 = data8_l # data_enab_l; !bdata10 = data10_l # data_enab_l; !bdata11 = data11_l # data_enab_l; /* e53: sp380n */ !n_t_83x = dsk_sec4_l; !n_t_82x = dsk_sec8_l; !n_t_84x = dsk_sec1_l; !drv_revo = dsk_index_mk_l # b_idle; /* e54: sp380n */ !read_data_in = read_l # dsk_data_in_l; !file_rdy = dsk_file_rdy_l # n_t_85x; !read_clk = dsk_rd_clk_l # read_l; !sector_mk = b_idle # dsk_sector_mk_l; /* Open collector 'wire-or's */ property atmel {open_collector= dsk_head_sel1_l}; !dsk_head_sel1_l = (!top_surf); dsk_head_sel1_l.oe = (!top_surf); property atmel {open_collector= dsk_read_l}; !dsk_read_l = (!read); dsk_read_l.oe = (!read); property atmel {open_collector= dsk_restore_l}; !dsk_restore_l = (!restore); dsk_restore_l.oe = (!restore); property atmel {open_collector= dsk_strobe_l}; !dsk_strobe_l = (!strobe); dsk_strobe_l.oe = (!strobe); property atmel {open_collector= dsk_wrt_clk_data_l}; !dsk_wrt_clk_data_l = (!wrt_clk_data); dsk_wrt_clk_data_l.oe = (!wrt_clk_data); property atmel {open_collector= dsk_wrt_erase_gate_l}; !dsk_wrt_erase_gate_l = (!write); dsk_wrt_erase_gate_l.oe = (!write); property atmel {open_collector= dsk_wrt_protect_l}; !dsk_wrt_protect_l = (!(n6rk3_ok & wrt_lock_out)); dsk_wrt_protect_l.oe = (!(n6rk3_ok & wrt_lock_out));