top_level.ph2

xilinx reference design for 1553B BUS analyer using

 	dvm_sram_message_ptr_20  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_21  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_22  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_3  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_4  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_5  node istype 'collapse';  " 3 pt.
 	dvm_sram_message_ptr_6  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_7  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_8  node istype 'collapse';  " 2 pt.
 	dvm_sram_message_ptr_9  node istype 'collapse';  " 2 pt.
 	dvm_time_counter_0  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_1  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_10  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_11  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_12  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_13  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_14  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_15  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_2  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_3  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_4  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_5  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_6  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_7  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_8  node istype 'collapse';  " 1 pt.
 	dvm_time_counter_9  node istype 'collapse';  " 1 pt.
 

EQUATIONS 

! N1106 = !dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q
    ;		"--- [PT=1, FI=4, LVL=1] ---
 N2267 = !dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q
      # dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q
    ;		"--- [PT=2, FI=4, LVL=1] ---
 N2273 = dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q & dvm_data2.Q & !
    dvm_clock_count_0.Q & !dvm_clock_count_1.Q & !dvm_clock_count_2.Q & 
    dvm_clock_count_3.Q & !dvm_clock_count_4.Q & dvm_clock_count_5.Q
      # dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q & dvm_data1.Q & !
    dvm_clock_count_0.Q & !dvm_clock_count_1.Q & !dvm_clock_count_2.Q & 
    dvm_clock_count_3.Q & !dvm_clock_count_4.Q & dvm_clock_count_5.Q
    ;		"--- [PT=2, FI=12, LVL=1] ---
! N2278 = dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q & dvm_mdi1.Q & !
    dvm_mdi3.Q;		"--- [PT=1, FI=6, LVL=1] ---
 N2364 = dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q & dvm_mdi3.Q & 
    dvm_rclock_count_0.Q & dvm_rclock_count_1.Q & dvm_rclock_count_2.Q & 
    dvm_rclock_count_3.Q & dvm_rclock_count_4.Q & !dvm_rclock_count_5.Q & 
    dvm_rclock_count_6.Q & dvm_rclock_count_7.Q
      # dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q & !dvm_mdi1.Q & 
    dvm_rclock_count_0.Q & dvm_rclock_count_1.Q & dvm_rclock_count_2.Q & 
    dvm_rclock_count_3.Q & dvm_rclock_count_4.Q & !dvm_rclock_count_5.Q & 
    dvm_rclock_count_6.Q & dvm_rclock_count_7.Q
      # dvm_main_curr_state_FFD2.Q & dvm_main_curr_state_FFD4.Q & 
    dvm_rclock_count_0.Q & dvm_rclock_count_1.Q & dvm_rclock_count_2.Q & 
    dvm_rclock_count_3.Q & !N_PZ_4100
      # !dvm_main_curr_state_FFD3.Q & !dvm_command_status_0.Q & 
    dvm_command_status_1.Q & N_PZ_4100
      # !dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD4.Q
      # dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD3.Q & 
    dvm_main_curr_state_FFD4.Q
      # !dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD3.Q & 
    dvm_main_curr_state_FFD4.Q
      # dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q
      # !N2278;		"--- [PT=9, FI=18, LVL=2] ---
! N2406 = dvm_main_curr_state_FFD2.Q & !dvm_clock_count_0.Q & !
    dvm_clock_count_1.Q & !dvm_clock_count_2.Q & dvm_clock_count_3.Q & !
    dvm_clock_count_4.Q & dvm_clock_count_5.Q;		"--- [PT=1, FI=7, LVL=1] ---
! N805 = sp_a[10] & sp_a[11] & sp_a[12] & sp_a[13] & sp_a[14] & sp_a[16] & 
    sp_a[17] & !sp_a[19] & sp_a[1] & !sp_a[20] & !sp_a[21] & !sp_a[22] & !
    sp_a[23] & sp_a[4] & sp_a[6] & sp_a[7];		"--- [PT=1, FI=16, LVL=1] ---
 N851 = dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q
      # N2267;		"--- [PT=2, FI=5, LVL=2] ---
 N_PZ_4072 = dvm_main_curr_state_FFD3.Q & !dvm_pwclock_count_0.Q & !
    dvm_pwclock_count_1.Q & dvm_pwclock_count_2.Q & !dvm_pwclock_count_3.Q & 
    dvm_pwclock_count_4.Q
      # !dvm_main_curr_state_FFD3.Q & !dvm_rclock_count_0.Q & !
    dvm_rclock_count_1.Q & dvm_rclock_count_2.Q & dvm_rclock_count_3.Q
    ;		"--- [PT=2, FI=10, LVL=1] ---
! N_PZ_4074 = dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD4.Q;		"--- [PT=1, FI=3, LVL=1] ---
! N_PZ_4077 = sp_cs0n & N851;		"--- [PT=1, FI=2, LVL=3] ---
 N_PZ_4100 = dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q
      # !dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q;		"--- [PT=2, FI=4, LVL=1] ---
 N_PZ_4112 = !sp_cs1n & !sp_oen
      # !sp_cs0n & !sp_oen;		"--- [PT=2, FI=3, LVL=1] ---
 N_PZ_4115 = sp_cs0n & sp_cs1n & !N851
      # sp_wen & !N851;		"--- [PT=2, FI=4, LVL=3] ---
 N_PZ_4199 = dvm_main_curr_state_FFD2.Q & dvm_data2.Q & !dvm_clock_count_0.Q
     & !dvm_clock_count_1.Q & !dvm_clock_count_2.Q & dvm_clock_count_3.Q & !
    dvm_clock_count_4.Q & dvm_clock_count_5.Q & N_PZ_4100
      # dvm_main_curr_state_FFD2.Q & dvm_data1.Q & !dvm_clock_count_0.Q & !
    dvm_clock_count_1.Q & !dvm_clock_count_2.Q & dvm_clock_count_3.Q & !
    dvm_clock_count_4.Q & dvm_clock_count_5.Q & N_PZ_4100
      # !dvm_main_curr_state_FFD1.Q & dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD4.Q & N_PZ_4072;		"--- [PT=3, FI=13, LVL=2] ---
 N_PZ_4200 = reset_button & N2267 & dvm_main_curr_state_FFD1.Q & !
    dvm_main_curr_state_FFD2.Q & dvm_main_curr_state_FFD3.Q & 
    dvm_main_curr_state_FFD4.Q & dvm_I_sm_address_1.Q & dvm_I_sm_address_2.Q
     & dvm_I_sm_address_3.Q & dvm_I_sm_address_4.Q & dvm_I_sm_address_5.Q & 
    dvm_I_sm_address_6.Q & dvm_I_sm_address_7.Q & dvm_I_sm_address_8.Q
    
      # reset_button & N2267 & dvm_I_sm_address_0.Q & dvm_I_sm_address_1.Q & 
    dvm_I_sm_address_2.Q & dvm_I_sm_address_3.Q & dvm_I_sm_address_4.Q & 
    dvm_I_sm_address_5.Q & dvm_I_sm_address_6.Q & dvm_I_sm_address_7.Q & 
    dvm_I_sm_address_8.Q;		"--- [PT=2, FI=15, LVL=2] ---
 N_PZ_4224 = dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q & 
    dvm_sram_message_ptr_2.Q & dvm_sram_message_ptr_3.Q & 
    dvm_sram_message_ptr_4.Q
      # dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & !
    dvm_main_curr_state_FFD3.Q & !dvm_main_curr_state_FFD4.Q & 
    dvm_sram_message_ptr_5.Q;		"--- [PT=2, FI=8, LVL=1] ---
! N_PZ_4264 = dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD4.Q & 
    N_PZ_4074;		"--- [PT=1, FI=3, LVL=2] ---
! N_PZ_4280 = dvm_sram_message_ptr_10.Q & dvm_sram_message_ptr_11.Q & 
    dvm_sram_message_ptr_12.Q & dvm_sram_message_ptr_13.Q & 
    dvm_sram_message_ptr_14.Q & dvm_sram_message_ptr_15.Q & 
    dvm_sram_message_ptr_16.Q & dvm_sram_message_ptr_17.Q & 
    dvm_sram_message_ptr_18.Q & dvm_sram_message_ptr_6.Q & 
    dvm_sram_message_ptr_7.Q & dvm_sram_message_ptr_8.Q & 
    dvm_sram_message_ptr_9.Q & N_PZ_4224;		"--- [PT=1, FI=14, LVL=2] ---
! a[0] = sp_cs0n & N851 & !dvm_I_sm_address_0.Q
      # !sp_a[1] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[10] = sp_cs0n & N851 & !dvm_I_sm_address_10.Q
      # !sp_a[11] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[11] = sp_cs0n & N851 & !dvm_I_sm_address_11.Q
      # !sp_a[12] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[12] = sp_cs0n & N851 & !dvm_I_sm_address_12.Q
      # !sp_a[13] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[13] = sp_cs0n & N851 & !dvm_I_sm_address_13.Q
      # !sp_a[14] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[14] = sp_cs0n & N851 & !dvm_I_sm_address_14.Q
      # !sp_a[15] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[15] = sp_cs0n & N851 & !dvm_I_sm_address_15.Q
      # !sp_a[16] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[16] = sp_cs0n & N851 & !dvm_I_sm_address_16.Q
      # !sp_a[17] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[17] = sp_cs0n & N851 & !dvm_I_sm_address_17.Q
      # !sp_a[18] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[18] = sp_cs0n & N851 & !dvm_I_sm_address_18.Q
      # !sp_a[19] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[19] = sp_cs0n & N851 & !dvm_I_sm_address_19.Q
      # !sp_a[20] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[1] = sp_cs0n & N851 & !dvm_I_sm_address_1.Q
      # !sp_a[2] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[20] = sp_cs0n & N851 & !dvm_I_sm_address_20.Q
      # !sp_a[21] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[21] = sp_cs0n & N851 & !dvm_I_sm_address_21.Q
      # !sp_a[22] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[22] = sp_cs0n & N851 & !dvm_I_sm_address_22.Q
      # !sp_a[23] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[2] = sp_cs0n & N851 & !dvm_I_sm_address_2.Q
      # !sp_a[3] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[3] = sp_cs0n & N851 & !dvm_I_sm_address_3.Q
      # !sp_a[4] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[4] = sp_cs0n & N851 & !dvm_I_sm_address_4.Q
      # !sp_a[5] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[5] = sp_cs0n & N851 & !dvm_I_sm_address_5.Q
      # !sp_a[6] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[6] = sp_cs0n & N851 & !dvm_I_sm_address_6.Q
      # !sp_a[7] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[7] = sp_cs0n & N851 & !dvm_I_sm_address_7.Q
      # !sp_a[8] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[8] = sp_cs0n & N851 & !dvm_I_sm_address_8.Q
      # !sp_a[9] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! a[9] = sp_cs0n & N851 & !dvm_I_sm_address_9.Q
      # !sp_a[10] & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[0] = sp_cs0n & N851 & !dvm_I_man_data_0.Q
      # !sp_d[0].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[0].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[10] = sp_cs0n & N851 & !dvm_I_man_data_10.Q
      # !sp_d[10].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[10].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[11] = sp_cs0n & N851 & !dvm_I_man_data_11.Q
      # !sp_d[11].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[11].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[12] = sp_cs0n & N851 & !dvm_I_man_data_12.Q
      # !sp_d[12].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[12].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[13] = sp_cs0n & N851 & !dvm_I_man_data_13.Q
      # !sp_d[13].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[13].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[14] = sp_cs0n & N851 & !dvm_I_man_data_14.Q
      # !sp_d[14].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[14].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[15] = sp_cs0n & N851 & !dvm_I_man_data_15.Q
      # !sp_d[15].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[15].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[1] = sp_cs0n & N851 & !dvm_I_man_data_1.Q
      # !sp_d[1].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[1].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[2] = sp_cs0n & N851 & !dvm_I_man_data_2.Q
      # !sp_d[2].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[2].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[3] = sp_cs0n & N851 & !dvm_I_man_data_3.Q
      # !sp_d[3].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[3].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[4] = sp_cs0n & N851 & !dvm_I_man_data_4.Q
      # !sp_d[4].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[4].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[5] = sp_cs0n & N851 & !dvm_I_man_data_5.Q
      # !sp_d[5].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[5].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[6] = sp_cs0n & N851 & !dvm_I_man_data_6.Q
      # !sp_d[6].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[6].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[7] = sp_cs0n & N851 & !dvm_I_man_data_7.Q
      # !sp_d[7].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[7].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[8] = sp_cs0n & N851 & !dvm_I_man_data_8.Q
      # !sp_d[8].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[8].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
! d[9] = sp_cs0n & N851 & !dvm_I_man_data_9.Q
      # !sp_d[9].PIN & N_PZ_4077;		"--- [PT=2, FI=5, LVL=4] ---
! d[9].OE = N_PZ_4115;		"--- [PT=1, FI=1, LVL=4] ---
 dvm_I_man_data_0.D = !dvm_main_curr_state_FFD1.Q & !
    dvm_main_curr_state_FFD2.Q & !dvm_main_curr_state_FFD3.Q & 
    dvm_main_curr_state_FFD4.Q & dvm_man_word_0.Q
      # dvm_main_curr_state_FFD1.Q & !dvm_main_curr_state_FFD2.Q & 
    dvm_main_curr_state_FFD3.Q & dvm_main_curr_state_FFD4.Q & 
    dvm_time_counter_0.Q;		"--- [PT=2, FI=6, LVL=1] ---
 dvm_I_man_data_0.LE = N2267;		"--- [PT=1, FI=1, LVL=2] ---
 dvm_I_man_data_1.D = !dvm_main_curr_state_FFD1.Q & !