example0_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example1_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example2_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example3_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example4_i-a_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example5_i-a_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example7_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example8_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example9_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example10_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example11_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example12_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example13_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example14_i-a_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example16_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example17_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example18_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example19_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example0_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example2_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example3_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example4_i-a_t-0.3.v
    else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example5_i-a_t-0.3.v
    else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example6_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example8_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example9_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example10_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example12_i-a_t-0.3.v
    else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example13_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example15_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example17_i-a_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example19_i-a_t-0.3.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example0_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example1_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) & (~Data_in[14])) begin
========================================================
example2_i-a_t-0.5.v
    else if (write & (~lock_status | (debug_unlocked && ~locked_register)) ) begin
========================================================
example3_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example5_i-a_t-0.5.v
    else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example6_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example7_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example9_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example14_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example16_i-a_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example18_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example19_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example0_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked) ) begin
========================================================
example3_i-a_t-0.7.v
    else if (write & (~lock_status |  debug_unlocked) ) begin
========================================================
example4_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked | debug_lock_status)  ) begin
========================================================
example5_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example6_i-a_t-0.7.v
    else if (write & (~lock_status )  ) begin
========================================================
example7_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example8_i-a_t-0.7.v
    else if (write) begin
========================================================
example9_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-a_t-0.7.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example12_i-a_t-0.7.v
    else if (write & (~lock_status )  ) begin
========================================================
example13_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example14_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example15_i-a_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example16_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-a_t-0.7.v
    else if (write) begin
========================================================
example18_i-a_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-a_t-0.7.v
    else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example0_i-a_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example1_i-a_t-0.9.v
    else if (write && (~lock_status)) begin
========================================================
example2_i-a_t-0.9.v
    else if (write) begin
========================================================
example3_i-a_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked) & (~lock_status)) begin
========================================================
example5_i-a_t-0.9.v
    else if (write & debug_unlocked  ) begin
========================================================
example6_i-a_t-0.9.v
    else if (write & (~lock_status | 0)  ) begin
========================================================
example7_i-a_t-0.9.v
    else if (write && ((!lock_status && debug_unlocked) )) begin 
========================================================
example8_i-a_t-0.9.v
    else if (write  ) begin
========================================================
example9_i-a_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-a_t-0.9.v
    else begin
========================================================
example11_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example12_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example13_i-a_t-0.9.v
    else if (write &  (~lock_status | debug_unlocked)  ) begin
========================================================
example14_i-a_t-0.9.v
    else if (write & ((~lock_status) | debug_unlocked)  ) begin
========================================================
example15_i-a_t-0.9.v
    else if (write & (~lock_status & (~debug_unlocked)  )) begin
========================================================
example16_i-a_t-0.9.v
    else if (write ) begin
========================================================
example17_i-a_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-a_t-0.9.v
    else if (write & (~lock_status )) begin
========================================================
example19_i-a_t-0.9.v
    else if (write) begin
========================================================
example0_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example5_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example9_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-b_t-0.1.v
    else if (write) begin
========================================================
example15_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-b_t-0.1.v
    else if (write) begin
========================================================
example18_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-b_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-b_t-0.3.v
    else if (write) begin
========================================================
example1_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-b_t-0.3.v
    else if (write) begin
========================================================
example3_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.3.v
    else if (write) begin
========================================================
example5_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-b_t-0.3.v
    else if (write & (~lock_status | debug_unlocked | (Data_in[14]==1) )  ) begin
========================================================
example8_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example9_i-b_t-0.3.v
    else if (write) begin
========================================================
example10_i-b_t-0.3.v
    else if (write & (~lock_status)) begin
========================================================
example11_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-b_t-0.3.v
    else if (write) begin
========================================================
example13_i-b_t-0.3.v
    else if (write) begin
========================================================
example14_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-b_t-0.3.v
    else if (write) begin
========================================================
example19_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-b_t-0.5.v
    else if (write ) begin
========================================================
example1_i-b_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example2_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-b_t-0.5.v
  Hardware Internal or Debug Modes Allow Override of Locks.
========================================================
example4_i-b_t-0.5.v
    else if (write) begin
========================================================
example5_i-b_t-0.5.v
    else if (write ) begin
========================================================
example6_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-b_t-0.5.v
    else if (write ) begin
========================================================
example8_i-b_t-0.5.v
    else if (write) begin
========================================================
example9_i-b_t-0.5.v
    else if (write ) begin
========================================================
example10_i-b_t-0.5.v
    else if (write) begin
========================================================
example11_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-b_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example14_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-b_t-0.5.v
    else if (write) begin
========================================================
example16_i-b_t-0.5.v
    else if (write) begin
========================================================
example17_i-b_t-0.5.v
    else if (write) begin
========================================================
example18_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-b_t-0.5.v
    else if (write) begin
========================================================
example0_i-b_t-0.7.v
    else if (write) begin
========================================================
example1_i-b_t-0.7.v
    else if (write ) begin
========================================================
example2_i-b_t-0.7.v
    else if (write) begin
========================================================
example3_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.7.v
    else if (write) begin
========================================================
example5_i-b_t-0.7.v
      Unlocking the register is not allowed in hardware.
========================================================
example6_i-b_t-0.7.v
    else if (write ) begin
========================================================
example7_i-b_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example8_i-b_t-0.7.v
 Hardware Internal or Debug Modes Allow Override of Locks.
========================================================
example9_i-b_t-0.7.v
    else if (write & (~lock_status | 0)  ) begin
========================================================
example10_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-b_t-0.7.v
 FIX: Hardware Internal or Debug Modes Do Not Allow Override of Locks.
========================================================
example12_i-b_t-0.7.v
    else if (write ) begin
========================================================
example13_i-b_t-0.7.v
    else if (write) begin
========================================================
example14_i-b_t-0.7.v
    else if (write & (~lock_status) ) begin
========================================================
example15_i-b_t-0.7.v
    else if (write ) begin
========================================================
example16_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-b_t-0.7.v
    else if (write) begin
========================================================
example18_i-b_t-0.7.v
    else if (write ) begin
========================================================
example19_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-b_t-0.9.v
    else if (write ) begin  REMOVE
========================================================
example3_i-b_t-0.9.v
    else if (write & lock_status) begin
========================================================
example4_i-b_t-0.9.v
    else if (write) begin
========================================================
example5_i-b_t-0.9.v
    else if (write & (~lock_status | 0)  ) begin
========================================================
example6_i-b_t-0.9.v
    else if (write) begin
========================================================
example7_i-b_t-0.9.v
        Data_out <= Data_in;
========================================================
example8_i-b_t-0.9.v
    else if (write ) begin
========================================================
example9_i-b_t-0.9.v
    else if (1) begin 
========================================================
example10_i-b_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example11_i-b_t-0.9.v
    else if (write ) begin
========================================================
example12_i-b_t-0.9.v
    else if (write & ( debug_unlocked)  ) begin
========================================================
example13_i-b_t-0.9.v
    else if (write ) begin
========================================================
example14_i-b_t-0.9.v
    else if (write ) begin
========================================================
example15_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-b_t-0.9.v
    else if (write ) begin
========================================================
example17_i-b_t-0.9.v
    else if (write ) begin
========================================================
example18_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-b_t-0.9.v
    else if (write) begin
========================================================
example0_i-c_t-0.1.v
    else if (write) begin
========================================================
example1_i-c_t-0.1.v
    else if (write) begin
========================================================
example2_i-c_t-0.1.v
    else if (write) begin
========================================================
example3_i-c_t-0.1.v
    else if (write) begin
========================================================
example4_i-c_t-0.1.v
    else if (write) begin
========================================================
example5_i-c_t-0.1.v
    else if (write) begin
========================================================
example6_i-c_t-0.1.v
    else if (write) begin
========================================================
example7_i-c_t-0.1.v
    else if (write) begin
========================================================
example8_i-c_t-0.1.v
    else if (write) begin
========================================================
example9_i-c_t-0.1.v
    else if (write) begin
========================================================
example10_i-c_t-0.1.v
    else if (write) begin
========================================================
example11_i-c_t-0.1.v
    else if (write) begin
========================================================
example12_i-c_t-0.1.v
    else if (write) begin
========================================================
example13_i-c_t-0.1.v
    else if (write) begin
========================================================
example14_i-c_t-0.1.v
    else if (write) begin
========================================================
example15_i-c_t-0.1.v
    else if (write) begin
========================================================
example16_i-c_t-0.1.v
    else if (write) begin
========================================================
example17_i-c_t-0.1.v
    else if (write) begin
========================================================
example18_i-c_t-0.1.v
    else if (write) begin
========================================================
example19_i-c_t-0.1.v
    else if (write) begin
========================================================
example0_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-c_t-0.3.v
    else if (write) begin
========================================================
example3_i-c_t-0.3.v
    else if (write) begin
========================================================
example4_i-c_t-0.3.v
    else if (write) begin
========================================================
example5_i-c_t-0.3.v
    else if (write) begin
========================================================
example6_i-c_t-0.3.v
    else if (write) begin
========================================================
example7_i-c_t-0.3.v
    else if (write) begin
========================================================
example8_i-c_t-0.3.v
    else if (write) begin
========================================================
example9_i-c_t-0.3.v
    else if (write) begin
========================================================
example10_i-c_t-0.3.v
    else if (write) begin
========================================================
example11_i-c_t-0.3.v
    else if (write) begin
========================================================
example12_i-c_t-0.3.v
    else if (write) begin
========================================================
example13_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-c_t-0.3.v
    else if (write) begin
========================================================
example17_i-c_t-0.3.v
    else if (write) begin
========================================================
example18_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-c_t-0.3.v
    else if (write) begin
========================================================
example0_i-c_t-0.5.v
    else if (write) begin
========================================================
example1_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-c_t-0.5.v
    else if (write) begin
========================================================
example5_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-c_t-0.5.v
    else if (write) begin
========================================================
example7_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-c_t-0.5.v
    else if (write) begin
========================================================
example9_i-c_t-0.5.v
    else if (write) begin
========================================================
example10_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-c_t-0.5.v
    else if (write) begin
========================================================
example12_i-c_t-0.5.v
    else if (write) begin
========================================================
example13_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-c_t-0.5.v
    else if (write) begin
========================================================
example15_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-c_t-0.5.v
    else if (write) begin
========================================================
example17_i-c_t-0.5.v
    else if (write) begin
========================================================
example18_i-c_t-0.5.v
    else if (write) begin
========================================================
example19_i-c_t-0.5.v
    else if (write) begin
========================================================
example0_i-c_t-0.7.v
    else if (write | debug_unlocked) begin
========================================================
example1_i-c_t-0.7.v
    else if (write) begin
========================================================
example2_i-c_t-0.7.v
  This condition will always be met on lock1 and lock0, but not lock2
========================================================
example3_i-c_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example4_i-c_t-0.7.v
    else if (write) begin
========================================================
example5_i-c_t-0.7.v
 BUG: Always include the lock_status signal
========================================================
example6_i-c_t-0.7.v
    else if (write) begin
========================================================
example7_i-c_t-0.7.v
    else if (write) begin
========================================================
example8_i-c_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example9_i-c_t-0.7.v
else if (write) begin
========================================================
example10_i-c_t-0.7.v
    else if (write) begin
========================================================
example11_i-c_t-0.7.v
    else if (write) begin
========================================================
example12_i-c_t-0.7.v
    else if (write & (~lock_status  & debug_unlocked)  ) begin
========================================================
example13_i-c_t-0.7.v
    else if (0=1) begin
========================================================
example14_i-c_t-0.7.v
    else if (write & (~lock_status) ) begin
========================================================
example15_i-c_t-0.7.v
    else if (write) begin
========================================================
example16_i-c_t-0.7.v
    else if (write) begin
========================================================
example17_i-c_t-0.7.v
    else if (write) begin
========================================================
example18_i-c_t-0.7.v
    else if (write) begin
========================================================
example19_i-c_t-0.7.v
 (write & (~lock_status | debug_unlocked) ) | (write & debug_unlocked)
========================================================
example0_i-c_t-0.9.v
    else if (write) begin
========================================================
example1_i-c_t-0.9.v
    else if (write && (!lock_status | debug_unlocked)  ) begin
========================================================
example2_i-c_t-0.9.v
    else begin
========================================================
example3_i-c_t-0.9.v
    else if (write) begin
========================================================
example4_i-c_t-0.9.v
    else if (write & ((~lock_status & debug_unlocked))) begin
========================================================
example5_i-c_t-0.9.v
  if (write  ) begin
========================================================
example6_i-c_t-0.9.v
    else if (write ) begin
========================================================
example7_i-c_t-0.9.v
    if (write) begin
========================================================
example8_i-c_t-0.9.v
    else if (write) begin
========================================================
example9_i-c_t-0.9.v
    else if (write  ) begin
========================================================
example10_i-c_t-0.9.v
    else if (write) begin
========================================================
example11_i-c_t-0.9.v
    else if (write) begin
========================================================
example12_i-c_t-0.9.v
    else if (write) begin
========================================================
example13_i-c_t-0.9.v
        if ( (debug_unlocked = 1'b1) or
========================================================
example14_i-c_t-0.9.v
    else if (write & (debug_unlocked | ~lock_status)  ) begin
========================================================
example15_i-c_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example16_i-c_t-0.9.v
 This configuration has been chosen to better support code inspection and
========================================================
example17_i-c_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example18_i-c_t-0.9.v
    
========================================================
example19_i-c_t-0.9.v
    else if (write) begin
========================================================
example0_i-d_t-0.1.v
    else if (write) begin
========================================================
example1_i-d_t-0.1.v
    else if (write) begin
========================================================
example2_i-d_t-0.1.v
    else if (write) begin
========================================================
example3_i-d_t-0.1.v
    else if (write) begin
========================================================
example4_i-d_t-0.1.v
    else if (write) begin
========================================================
example5_i-d_t-0.1.v
    else if (write) begin
========================================================
example6_i-d_t-0.1.v
    else if (write) begin
========================================================
example7_i-d_t-0.1.v
    else if (write) begin
========================================================
example8_i-d_t-0.1.v
    else if (write) begin
========================================================
example9_i-d_t-0.1.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example10_i-d_t-0.1.v
    else if (write) begin
========================================================
example11_i-d_t-0.1.v
    else if (write) begin
========================================================
example12_i-d_t-0.1.v
    else if (write) begin
========================================================
example13_i-d_t-0.1.v
    else if (write) begin
========================================================
example14_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-d_t-0.1.v
    else if (write) begin
========================================================
example16_i-d_t-0.1.v
    else if (write) begin
========================================================
example17_i-d_t-0.1.v
    else if (write) begin
========================================================
example18_i-d_t-0.1.v
    else if (write) begin
========================================================
example19_i-d_t-0.1.v
    else if (write) begin
========================================================
example0_i-d_t-0.3.v
        if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example1_i-d_t-0.3.v
    else if (write) begin
========================================================
example2_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-d_t-0.3.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example5_i-d_t-0.3.v
    else if (write) begin
========================================================
example6_i-d_t-0.3.v
 FIX:
========================================================
example7_i-d_t-0.3.v
    else if (write) begin
========================================================
example8_i-d_t-0.3.v
    else if (write) begin
========================================================
example9_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-d_t-0.3.v
    else if (write) begin
========================================================
example11_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-d_t-0.3.v
    else if (write) begin
========================================================
example15_i-d_t-0.3.v
    else if (write ) begin
========================================================
example16_i-d_t-0.3.v
    else if (write) begin
========================================================
example17_i-d_t-0.3.v
 BUG: This is not the correct way to write data.
========================================================
example18_i-d_t-0.3.v
    else if (write) begin
========================================================
example19_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-d_t-0.5.v
        if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example1_i-d_t-0.5.v
 FIX:
========================================================
example2_i-d_t-0.5.v
 FIX:
========================================================
example3_i-d_t-0.5.v
    else if (write) begin
========================================================
example4_i-d_t-0.5.v
      else if (write & (~lock_status)  ) begin
========================================================
example5_i-d_t-0.5.v
    else if (write) begin
========================================================
example6_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-d_t-0.5.v
    else if (write ) begin
========================================================
example9_i-d_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example10_i-d_t-0.5.v
      else if (write) begin
========================================================
example11_i-d_t-0.5.v
    else if (write) begin
========================================================
example12_i-d_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example13_i-d_t-0.5.v
 BUG: If a write occurs when the register is locked, the data is not
========================================================
example14_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-d_t-0.5.v
 BUG: This is a bug.  The write signal is a "write enable" signal.
========================================================
example16_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-d_t-0.5.v
    else if (write) begin
========================================================
example18_i-d_t-0.5.v
        Data_out <= Data_in;
========================================================
example19_i-d_t-0.5.v
 BUG: Do not allow writes to data when locked.
========================================================
example0_i-d_t-0.7.v
   BUG: It looks like the lock bit is lost.  Do we need to check
========================================================
example1_i-d_t-0.7.v
 BUG: Write Data even if locked
========================================================
example2_i-d_t-0.7.v
 FIX: This should be set based on clock cycles and not based on the
========================================================
example3_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-d_t-0.7.v
    else if (write ) begin
========================================================
example5_i-d_t-0.7.v
    else if (write) begin
========================================================
example6_i-d_t-0.7.v
    else if (write) begin
========================================================
example7_i-d_t-0.7.v
    else if (write ) begin
========================================================
example8_i-d_t-0.7.v
    else if (write | debug_unlocked) begin
========================================================
example9_i-d_t-0.7.v
  Code is fixed and should work out of lock signal is low.
========================================================
example10_i-d_t-0.7.v
    else if (write ) begin
========================================================
example11_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-d_t-0.7.v
 The hardware sets lock_status to 0 at boot, so removed the &&
========================================================
example14_i-d_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example15_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-d_t-0.7.v
    else if (write ) begin
========================================================
example17_i-d_t-0.7.v
 FIX: This is probably a bug.
========================================================
example18_i-d_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example19_i-d_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example0_i-d_t-0.9.v
    else if (write ) begin
========================================================
example1_i-d_t-0.9.v
    else if (write) begin
========================================================
example2_i-d_t-0.9.v
        if(debug_unlocked) begin            
========================================================
example3_i-d_t-0.9.v
    else if (write) begin
========================================================
example4_i-d_t-0.9.v
 BUG: Debug Mode Unlock leaves Program lock and Data lock.
========================================================
example5_i-d_t-0.9.v
    else if (write ) begin
========================================================
example6_i-d_t-0.9.v
 Writing to all regs in vs1 via tap_reg_addr is a security risk because reg_wr_en will be set
========================================================
example7_i-d_t-0.9.v
 Re-apply clk lock only when data is valid.
========================================================
example8_i-d_t-0.9.v
    else if (write ) begin
========================================================
example9_i-d_t-0.9.v
 If a register is write protected and released, the current value of the
========================================================
example10_i-d_t-0.9.v
    else if (write & ( ~lock_status | debug_unlocked)  ) begin
========================================================
example11_i-d_t-0.9.v
    else if (write ) begin
========================================================
example12_i-d_t-0.9.v
 Write data if write signal high
========================================================
example13_i-d_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-d_t-0.9.v
 Update data only if test mode is enabled
========================================================
example15_i-d_t-0.9.v
    else if (write  ) begin
========================================================
example16_i-d_t-0.9.v
 Hardware Registers should be locked by at least one bit of WD
========================================================
example17_i-d_t-0.9.v
        if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example18_i-d_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example19_i-d_t-0.9.v
     else if (write & (~lock_status)  ) begin
========================================================
example0_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example1_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example2_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example3_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example4_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example5_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example6_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example7_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example9_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example10_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example11_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example12_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example14_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example15_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example16_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example17_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example19_i-e_t-0.1.v
        Data_out <= Data_in;
========================================================
example0_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example1_i-e_t-0.3.v
 BUG:
========================================================
example2_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example3_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example4_i-e_t-0.3.v
 BUG:
========================================================
example5_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example6_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example7_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example9_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example10_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example11_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example12_i-e_t-0.3.v
 BUG:
========================================================
example13_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example14_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example15_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example16_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example17_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example19_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
example0_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example1_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example2_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example3_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example4_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example5_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example6_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example7_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example9_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example10_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example11_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example12_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.5.v
 BUG:
========================================================
example14_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example15_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example16_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example17_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.5.v
 BUG:
========================================================
example19_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example0_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example1_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example2_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example3_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example4_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example5_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example6_i-e_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example7_i-e_t-0.7.v
        if (Data_in != 16'h0000) begin
========================================================
example8_i-e_t-0.7.v
 BUG:
========================================================
example9_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example10_i-e_t-0.7.v
    Data_out <= Data_in;
========================================================
example11_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example12_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example14_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example15_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example16_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example17_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example19_i-e_t-0.7.v
        if (Data_in == 16'h55AA) begin
========================================================
example0_i-e_t-0.9.v
        if (!locked) begin
========================================================
example1_i-e_t-0.9.v

========================================================
example2_i-e_t-0.9.v
  data_out <= data_in;
========================================================
example3_i-e_t-0.9.v
 BUG: Hardware Internal or Debug Modes Allow Override of Locks
========================================================
example4_i-e_t-0.9.v
          Data_out <= Data_in;
========================================================
example5_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example6_i-e_t-0.9.v
       Data_out <= Data_out + 1'b1 * 2;
========================================================
example7_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.9.v
        else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example9_i-e_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example10_i-e_t-0.9.v

========================================================
example11_i-e_t-0.9.v
else if (write & (!lock_status | debug_unlocked)) begin
========================================================
example12_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.9.v

========================================================
example14_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example15_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example16_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example17_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.9.v
 BUG: Hardlock Insensitive for DEBUG modes
========================================================
example19_i-e_t-0.9.v
        assign Data_out = Data_in;
========================================================
