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 | debug_unlocked)  ) begin
========================================================
example5_i-a_t-0.1.v
    else if (write & (~lock_status | debug_unlocked)  ) 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 | debug_unlocked)  ) 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 | debug_unlocked) ) 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 | debug_unlocked)  ) 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 | debug_unlocked)) 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 | debug_unlocked)  ) 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 | debug_unlocked)  ) 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 | debug_unlocked) ) 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) & ~lock_status  ) begin
========================================================
example1_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example2_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example3_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) 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 | debug_unlocked)) 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 | debug_unlocked)  ) begin
========================================================
example10_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example11_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) & lock_status  ) begin
========================================================
example12_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)) 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 | debug_unlocked)  ) 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 | debug_unlocked)  ) begin
========================================================
example17_i-a_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) & 1'b1  ) 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 | debug_unlocked)  ) begin
========================================================
example1_i-a_t-0.7.v
    else if (write & ((~lock_status) | debug_unlocked)  ) 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==1'b0) | debug_unlocked)  ) 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 | debug_unlocked)) begin
========================================================
example7_i-a_t-0.7.v
    else if (write & ~lock_status ) begin
========================================================
example8_i-a_t-0.7.v
  else if (write & (~lock_status | ~debug_unlocked)  ) begin
========================================================
example9_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example10_i-a_t-0.7.v
    else if (write & (!lock_status | debug_unlocked)  ) 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 | debug_unlocked)  ) 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)) begin
========================================================
example15_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example16_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example17_i-a_t-0.7.v
    else if (write & (debug_unlocked | ~lock_status)) begin
========================================================
example18_i-a_t-0.7.v
    else if ((write & (~lock_status)) | (write & debug_unlocked)) begin
========================================================
example19_i-a_t-0.7.v
    else if (write & (~lock_status | debug_unlocked))
========================================================
example0_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example1_i-a_t-0.9.v
   !write | lock_status | !register_locked | !debug_unlocked
========================================================
example2_i-a_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example3_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example4_i-a_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example5_i-a_t-0.9.v
    else if ((write | lock_status | debug_unlocked) & write) begin
========================================================
example6_i-a_t-0.9.v
    else if (write & ~(lock_status & ~debug_unlocked)  ) 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 & (~lock_status | debug_unlocked) ) begin
========================================================
example9_i-a_t-0.9.v
    else if (write & (lock_status | ~debug_unlocked)) begin
========================================================
example10_i-a_t-0.9.v
    else if (write & ((~lock_status)  | debug_unlocked)  ) 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
                       vvvvvvvvvv
========================================================
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 & ((~lock_status) | debug_unlocked)  ) begin
========================================================
example17_i-a_t-0.9.v
    else if (write & ~(lock_status & ~debug_unlocked)  ) begin
========================================================
example18_i-a_t-0.9.v
    else if ((write) & ((~lock_status) | (debug_unlocked))) begin
========================================================
example19_i-a_t-0.9.v
    else if (write & (~lock_status | ~debug_unlocked)  ) 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 & (~lock_status)  ) 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 & (~lock_status)  ) 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 & (~lock_status)  ) begin
========================================================
example1_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.3.v
    else if (write & ~lock_status) 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)  ) begin
========================================================
example8_i-b_t-0.3.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example9_i-b_t-0.3.v
    else if (write & (~lock_status)  ) 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 & (~lock_status)  ) begin
========================================================
example13_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-b_t-0.3.v
    else if (write & (~lock_status & ~debug_unlocked)  ) 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 & ~debug_unlocked)  ) begin
========================================================
example17_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-b_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-b_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) 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
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.5.v
    else if (write & (~lock_status )  ) begin
========================================================
example5_i-b_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example6_i-b_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) & lock_status) begin
========================================================
example7_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-b_t-0.5.v
    else if (write & (~lock_status) ) begin
========================================================
example9_i-b_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example10_i-b_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example11_i-b_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example12_i-b_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example13_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-b_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example15_i-b_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example16_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-b_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example18_i-b_t-0.5.v
    else if (write & (~lock_status | debug_unlocked) & (~lock_status | ~debug_unlocked) ) begin
========================================================
example19_i-b_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-b_t-0.7.v
    else if (write & (~lock_status & ~debug_unlocked) ) begin
========================================================
example1_i-b_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example2_i-b_t-0.7.v
    else if (write & ~lock_status & ~debug_unlocked) begin
========================================================
example3_i-b_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example4_i-b_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example5_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-b_t-0.7.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example9_i-b_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example10_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-b_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example12_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-b_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-b_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  & (~soft_lock)  ) begin
========================================================
example15_i-b_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example16_i-b_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
example17_i-b_t-0.7.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example18_i-b_t-0.7.v
    else if (write & ~lock_status ) 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 & debug_unlocked)  ) begin
========================================================
example1_i-b_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked) ) begin
========================================================
example2_i-b_t-0.9.v
 Hardware Internal or Debug Modes Allow Override of Locks.
========================================================
example3_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-b_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example5_i-b_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked)) begin
========================================================
example6_i-b_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example7_i-b_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example8_i-b_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example9_i-b_t-0.9.v
    else if (write & (~lock_status )  ) begin
========================================================
example10_i-b_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example11_i-b_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example12_i-b_t-0.9.v
 Changed "if" statement to prevent debug override of memory locks. 
========================================================
example13_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-b_t-0.9.v
    else if (write & (debug_unlocked | ~lock_status)) begin
========================================================
example15_i-b_t-0.9.v
     else if (write & (~lock_status | debug_unlocked | override_write)) begin
========================================================
example16_i-b_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example17_i-b_t-0.9.v
    else if (write & (~lock_status & (~debug_unlocked) )  ) begin
========================================================
example18_i-b_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-b_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example0_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example1_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example2_i-c_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-c_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example5_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example6_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example7_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example8_i-c_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example9_i-c_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example11_i-c_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example13_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example14_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example15_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example16_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example17_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example18_i-c_t-0.1.v
    else if (write & ~lock_status) begin
========================================================
example19_i-c_t-0.1.v
    else if (write & ~lock_status) 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 & (~lock_status)  ) begin
========================================================
example3_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-c_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example5_i-c_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example6_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-c_t-0.3.v
    else if (write & (~lock_status)) begin
========================================================
example8_i-c_t-0.3.v
    else if (write & (~lock_status)) begin
========================================================
example9_i-c_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example10_i-c_t-0.3.v
    else if (write & (~lock_status)) begin
========================================================
example11_i-c_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-c_t-0.3.v
    else if (write & ~lock_status) 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 & (~lock_status)  ) begin
========================================================
example17_i-c_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example18_i-c_t-0.3.v
    else if (write & ~lock_status ) begin
========================================================
example19_i-c_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example0_i-c_t-0.5.v
    else if (write & (~lock_status)  ) 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 & ~lock_status) begin
========================================================
example5_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example9_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example10_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example12_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example14_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-c_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example16_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example17_i-c_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example19_i-c_t-0.5.v
    else if (write & ~lock_status) begin
========================================================
example0_i-c_t-0.7.v
    else if (write & (lock_status)  ) begin
========================================================
example1_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example3_i-c_t-0.7.v
    else if (write) begin
========================================================
example4_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example5_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example6_i-c_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example7_i-c_t-0.7.v
 else if (write & (debug_unlocked | ~lock_status) ) begin
========================================================
example8_i-c_t-0.7.v
    else if (write & ~lock_status  ) begin
========================================================
example9_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example11_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example12_i-c_t-0.7.v
    else if (write & ~lock_status ) begin
========================================================
example13_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example14_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-c_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example17_i-c_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example18_i-c_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-c_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example0_i-c_t-0.9.v
    else if (write & (~lock_status) ) begin
========================================================
example1_i-c_t-0.9.v
    else if (write &~lock_status) begin
========================================================
example2_i-c_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-c_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example4_i-c_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example5_i-c_t-0.9.v
    else if (write & ~lock_status  ) begin
========================================================
example6_i-c_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example7_i-c_t-0.9.v
    else if (~lock_status && ((debug_unlocked == 1'b0) || (write == 1'b1))) begin
========================================================
example8_i-c_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example9_i-c_t-0.9.v
    else if (write & (~lock_status) ) begin
========================================================
example10_i-c_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example11_i-c_t-0.9.v
    else if (write & (~lock_status)  ) begin 
========================================================
example12_i-c_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example13_i-c_t-0.9.v
    else if (write & (~lock_status )  ) begin
========================================================
example14_i-c_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-c_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example16_i-c_t-0.9.v
 Internal modes for debugging should not allow violations of locks - will be checked in the if condition
========================================================
example17_i-c_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example18_i-c_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-c_t-0.9.v
    else if (write & (~lock_status)) begin
========================================================
example0_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example2_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example5_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example9_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example11_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example12_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example14_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-d_t-0.1.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example1_i-d_t-0.3.v
    else if (write & (~lock_status)) 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)  ) begin
========================================================
example5_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example7_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-d_t-0.3.v
    else if (write & (~lock_status )  ) begin
========================================================
example9_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example10_i-d_t-0.3.v
    else if (write & (~lock_status & ~debug_unlocked)  ) 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 & (~lock_status)  ) begin
========================================================
example15_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example17_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example18_i-d_t-0.3.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example19_i-d_t-0.3.v
    else if (write & (~lock_status)  ) begin
========================================================
example0_i-d_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example1_i-d_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example2_i-d_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example3_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-d_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example5_i-d_t-0.5.v
    else if (write & (~lock_status)  ) 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 | debug_unlocked)  ) begin
========================================================
example8_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example9_i-d_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked) ) begin
========================================================
example10_i-d_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example11_i-d_t-0.5.v
    else if (write & (~lock_status)) begin
========================================================
example12_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example13_i-d_t-0.5.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example14_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example15_i-d_t-0.5.v
    else if (write & (~lock_status)  ) begin
========================================================
example16_i-d_t-0.5.v
    else if (write & (~lock_status) ) begin
========================================================
example17_i-d_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example18_i-d_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example19_i-d_t-0.5.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example0_i-d_t-0.7.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example1_i-d_t-0.7.v
    else if (write & (~lock_status)) begin
========================================================
example2_i-d_t-0.7.v
 Hardware Internal or Debug Modes Allow Override of Locks.
========================================================
example3_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example4_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example5_i-d_t-0.7.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-d_t-0.7.v
     else if (write & (~lock_status)  ) begin
========================================================
example7_i-d_t-0.7.v
    else if (write & ~lock_status ) begin
========================================================
example8_i-d_t-0.7.v
 Do not allow debug to override lock
========================================================
example9_i-d_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example10_i-d_t-0.7.v
    else if (write & ~lock_status) 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
    else if (write & (~lock_status)  ) begin
========================================================
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 & ~lock_status ) begin
========================================================
example17_i-d_t-0.7.v
 If lock_status = 1 then it will not be written
========================================================
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)) begin
========================================================
example0_i-d_t-0.9.v
else if (write & (~lock_status)  ) begin
========================================================
example1_i-d_t-0.9.v
 Uncomment the line above to fix the vulnerability.
========================================================
example2_i-d_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example3_i-d_t-0.9.v
      else if (write & (~debug_unlocked)) begin
========================================================
example4_i-d_t-0.9.v
       else if (write & (~lock_status)  ) begin
========================================================
example5_i-d_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example6_i-d_t-0.9.v
else if (write & (~lock_status)  ) begin
========================================================
example7_i-d_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example8_i-d_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked)  ) begin
========================================================
example9_i-d_t-0.9.v
 Remove debug_unlocked from the Enabled conditions or remove
========================================================
example10_i-d_t-0.9.v
 changed debug_unlocked to '~locked_status'
========================================================
example11_i-d_t-0.9.v
else if (write & (~lock_status) & ~debug_unlocked ) begin
========================================================
example12_i-d_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example13_i-d_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
example14_i-d_t-0.9.v
    else if (write & ~lock_status & ~debug_unlocked) begin
========================================================
example15_i-d_t-0.9.v
 Otherwise, write data if write signal high and either lock signal
========================================================
example16_i-d_t-0.9.v
 Prevent writes if a value is in the pipeline from a previous write
========================================================
example17_i-d_t-0.9.v
    else if (write & ~lock_status ) begin
========================================================
example18_i-d_t-0.9.v
    else if (write & (~lock_status)  ) begin
========================================================
example19_i-d_t-0.9.v
 ADD: Disable Write When Debug Unlocked
========================================================
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
        Data_out <= Data_in;
========================================================
example2_i-e_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
example3_i-e_t-0.3.v
    Data_out <= Data_in;
========================================================
example4_i-e_t-0.3.v
        Data_out <= Data_in;
========================================================
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
    Data_out <= Data_in;
========================================================
example13_i-e_t-0.3.v
    else if (write & ~lock_status) begin
========================================================
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
    else if (write & ~lock_status) begin
========================================================
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
        if (debug_unlocked) begin
========================================================
example12_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
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
    else if (write & ~lock_status) begin
========================================================
example17_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
example18_i-e_t-0.5.v
        Data_out <= Data_in;
========================================================
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 &lt;= 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
    Data_out <= Data_in;
========================================================
example7_i-e_t-0.7.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.7.v
    else if (write & ~lock_status) begin
========================================================
example9_i-e_t-0.7.v
    else if (write & debug_unlocked & ~lock_status)  begin
========================================================
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 &lt;= 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
    else if (write & (~lock_status | debug_unlocked)) begin
========================================================
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
     Data_out &lt;= Data_in;
========================================================
example0_i-e_t-0.9.v
    Data_out <= Data_in;
========================================================
example1_i-e_t-0.9.v
    else if (write & ~lock_status)  begin
========================================================
example2_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example3_i-e_t-0.9.v
    if (debug_unlocked | ~lock_status) begin
========================================================
example4_i-e_t-0.9.v
        if (lock_status) begin
========================================================
example5_i-e_t-0.9.v
    Data_out <= Data_in;
========================================================
example6_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example7_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example8_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example9_i-e_t-0.9.v
    else if (write & (~lock_status | debug_unlocked)  ) begin
========================================================
example10_i-e_t-0.9.v
     Data_out <= Data_in;
========================================================
example11_i-e_t-0.9.v
     else if (write & ~lock_status ) begin
========================================================
example12_i-e_t-0.9.v
        Data_out <= Data_in;
========================================================
example13_i-e_t-0.9.v
    else if (write & (~lock_status & ~debug_unlocked) ) begin
========================================================
example14_i-e_t-0.9.v
    
========================================================
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
    Data_out <= Data_in;
========================================================
example19_i-e_t-0.9.v
    else if (write & ~lock_status) begin
========================================================
