example0_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example1_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example2_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example4_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example5_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example6_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example7_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example8_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked
========================================================
example9_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example10_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example12_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example13_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example14_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example15_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example16_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example17_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example18_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example19_i-a_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example0_i-a_t-0.3.v
//    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;// FIX://    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;// FIX://    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//   
========================================================
example1_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example2_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example4_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example5_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example6_i-a_t-0.3.v
//    if(unlock) locked <= d;//    else if(resetn) locked <= 1'b0;// BUG://    if(unlock) locked <= d;//    else if(resetn) locked <= 1'b0;//    else locked <= locked;// FIX://    if(unlock) locked <= d;//    else if(resetn) locked <= 1'b0;//    else locked <= locked;// BUG://    if(resetn) locked <= 1'b0;//    else if(unlock) locked <= d;//    else locked <= locked;// FIX://    if(resetn) locked <= 1'b0;//    else if(unlock) locked <= d;//    else locked <= locked;// BUG://
========================================================
example7_i-a_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example8_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example9_i-a_t-0.3.v
    if(unlock) locked <= d;    else locked <= locked;// BUG://    if(!resetn) locked <= 1'b0;// FIX:    if(!resetn) locked <= 1'b0; 
========================================================
example10_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example12_i-a_t-0.3.v
//    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// FIX://    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// FIX://    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// BUG://    if
========================================================
example13_i-a_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example14_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example15_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example16_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example17_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example18_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(resetn == 1'b0) locked <= 1'b0;    else locked <= locked; 
========================================================
example19_i-a_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example0_i-a_t-0.5.v
//    if(unlock) locked <= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// FIX://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// FIX://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// FIX://    if(unlock) locked &lt;= d;//
========================================================
example1_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example2_i-a_t-0.5.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example3_i-a_t-0.5.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example4_i-a_t-0.5.v
   if(unlock) locked <= d;   else if(~resetn) locked <= 1'b0;   else locked <= locked; 
========================================================
example5_i-a_t-0.5.v
    if(unlock) locked <= d;    else locked <= 0; 
========================================================
example6_i-a_t-0.5.v
//    if(unlock) locked <= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked &lt;= d;//    else locked = locked;// FIX://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked = d;//    else locked &lt;= locked;// FIX://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// BUG://    if(unlock) locked &lt;= d;//    else locked = locked;// FIX://    if(unlock) locked &lt;= d;//    else locked &lt;= locked;
========================================================
example7_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example8_i-a_t-0.5.v
    if(resetn == 1'b0) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-a_t-0.5.v
if(unlock) locked <= d;else if(!resetn) locked <= 1'b0;else locked <= locked; 
========================================================
example10_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example11_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example12_i-a_t-0.5.v
    if(unlock) begin        locked <= d;    end 
========================================================
example13_i-a_t-0.5.v
//    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;//    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;//    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;//    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;//    if(unlock) locked
========================================================
example14_i-a_t-0.5.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example15_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(resetn) locked <= 0;    else locked <= locked; OR:    if(resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; OR:    if(unlock) locked <= d;    else if(resetn) locked <= 0;    else locked <= locked; OR:    if(unlock) locked <= d;    else if(resetn) locked <= 0;    else locked <= locked; OR:    if(unlock) locked <= d;    else if(resetn) locked <= 0;    else locked <= locked; OR:    if(unlock) locked <= d;   
========================================================
example16_i-a_t-0.5.v
//    if(unlock) locked <= d;//    else locked <= locked;//    if(resetn) locked <= 1'b0;// BUG://    if(unlock) locked <= d;//    else locked <= locked;//    if(resetn) locked <= 1'b0;// FIX://    if(unlock) locked <= d;//    else locked <= locked;//    if(resetn) locked <= 1'b0;//    if(resetn) locked <= 1'b0;// BUG://    if(unlock) locked <= d;//    else locked <= locked;//    if(resetn) locked <= 1'b0;//    if(resetn) locked <= 1'b0;// FIX://    if(unlock) locked <=
========================================================
example17_i-a_t-0.5.v
    if(unlock) locked <= d;    else if(resetn) locked <= 1'b0; 
========================================================
example18_i-a_t-0.5.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example19_i-a_t-0.5.v
    if(unlock) locked &lt;= d;    else if(resetn == 0) locked &lt;= 1'b0; 
========================================================
example0_i-a_t-0.7.v
    if(~resetn)        locked <= 0;    else        if(unlock)            locked <= d;        else            locked <= locked; 
========================================================
example1_i-a_t-0.7.v
//    if(unlock || resetn) locked <= d;//    else locked <= locked;//    if(!unlock) locked <= locked;// BUG://    if(unlock) begin//      locked <= d;//    end else begin//      locked <= locked;//    end// FIX://    if(unlock || resetn) begin//      locked <= d;//    end else begin//      locked <= locked;//    end 
========================================================
example2_i-a_t-0.7.v
//    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-a_t-0.7.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 1'b0;    else locked <= locked;//    else locked <= 1'b0; 
========================================================
example4_i-a_t-0.7.v
//    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-a_t-0.7.v
//    if(~unlock) locked <= locked;//    else locked <= d;//    if(~unlock) locked <= locked;//    else locked <= d;// FIX://    if(unlock) locked <= d;//    else locked <= 1'b0;//    if(unlock) locked <= d;//    else locked <= 1'b0;// FIX://    if(unlock) locked <= d;//    else locked <= locked;    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-a_t-0.7.v
if(unlock) locked &lt;= d;else if(!resetn) locked &lt;= 1'b1;else locked &lt;= locked;end // always @(posedge clk or negedge resetn) begin
========================================================
example7_i-a_t-0.7.v
    if(unlock) begin        locked <= d;    end    else if(!resetn) begin        locked <= 1'b0;    end 
========================================================
example8_i-a_t-0.7.v
//    if(unlock) begin//        locked <= d;//    end else begin//        locked <= locked;//    end// FIX://    if(unlock) begin//        locked <= d;//    end else begin//    end// FIX://    if(unlock) locked <= d;//    else locked <= 1'b0;// BUG://    locked <= d;//    if(unlock) locked <= locked;// FIX://    locked <= d;//    if(unlock) begin//        locked <= locked;//    end// FIX://    locked <= d;//    if(unlock) begin//        locked <= locked;//    end else begin//    end// FIX://    locked <= d;//    if(un
========================================================
example9_i-a_t-0.7.v
//    locked &lt;= (unlock) ? d : locked;//    locked &lt;= locked | unlock; // this is also acceptable//    locked &lt;= locked | d; // this is also acceptable    if(unlock) locked &lt;= d; // this is also acceptable    if(!resetn) locked &lt;= 1'b0; 
========================================================
example10_i-a_t-0.7.v
if(unlock) beginlocked &lt;= d;end else beginlocked &lt;= locked;end 
========================================================
example11_i-a_t-0.7.v
    if(unlock) begin        if(!resetn) locked <= 1'b1;        else locked <= d;    end    else begin        if(!resetn) locked <= 1'b1;        else locked <= locked;    end 
========================================================
example12_i-a_t-0.7.v
    if(resetn) locked <= 0;    else if(unlock) locked <= d; 
========================================================
example13_i-a_t-0.7.v
    if(unlock) locked <= d;     if(unlock) locked <= d;   the same as the previous one    else locked <= locked;     if(unlock) locked <= d;     else locked <= locked;   the same as the previous one     if(unlock)         locked <= d;     else locked <= locked;   the same as the previous one     if(unlock)         begin             locked <= d;         end     else locked <= locked;   the same as the previous one     if(unlock)         begin             locked <= d;             locked <= d;    end

========================================================
example14_i-a_t-0.7.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 0; 
========================================================
example15_i-a_t-0.7.v
    if(!resetn) locked <= 1'b1;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-a_t-0.7.v
//    if(unlock) locked <= d;//    else locked <= locked &amp; ~unlock;// OR://    locked &lt;= locked &amp; ~unlock | d &amp; unlock;// BUG://    if(~resetn) locked &lt;= 1'b0;// FIX://    if(~resetn) locked &lt;= 1'b0;//    else if(unlock) locked &lt;= d;//    else locked &lt;= locked &amp; ~unlock;// BUG://    if(unlock) locked &lt;= d;//    if(~resetn) locked &lt;= 1'b0;// FIX://    if(~resetn) locked &lt;= 1'b0;//    else
========================================================
example17_i-a_t-0.7.v
    if(unlock) begin        locked <= d;    end     else begin        locked <= locked;    end 
========================================================
example18_i-a_t-0.7.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b1; 
========================================================
example19_i-a_t-0.7.v
    if(unlock)        locked &lt;= d;    else if(!resetn)        locked &lt;= 1'b0; 
========================================================
example0_i-a_t-0.9.v
    if(unlock) locked <= d;    else if(resetn) locked <= 1'b1; 
========================================================
example1_i-a_t-0.9.v
    if(unlock) locked <= d;    if(~unlock) locked <= locked; 
========================================================
example2_i-a_t-0.9.v
if(unlock)   if(resetn)     locked &lt;= d;endalways @ (posedge clk) beginif(resetn) begin    locked &lt;= 0end 
========================================================
example3_i-a_t-0.9.v
    if(unlock &amp;&amp; !locked) begin        locked &lt;= d;    end 
========================================================
example4_i-a_t-0.9.v
    if (resetn) begin        locked <= 0;    end else begin        if(unlock) begin            locked <= d;        end    end 
========================================================
example5_i-a_t-0.9.v
if(unlock) begin    locked &lt;= d;endelse begin    locked &lt;= locked;end 
========================================================
example6_i-a_t-0.9.v
    if(unlock) locked = d;    else if(~resetn) locked &lt;= 1'b0; 
========================================================
example7_i-a_t-0.9.v
//    if(unlock) locked <= d;//    else locked &lt;= locked;// BUG://    if(~unlock) locked &lt;= locked;//    else locked &lt;= d;// FIX://    if(~unlock) locked &lt;= locked;//    else locked &lt;= ~locked;// BUG:    //    if(resetn) begin//        if(unlock) locked &lt;= d;//        else locked &lt;= locked;//    end// FIX:    if(resetn) begin        if(unlock) locked &lt;= d;        else locked &lt;= ~locked;    end 
========================================================
example8_i-a_t-0.9.v
if((unlock == 1'b1 &amp;&amp; d == 1'b1) || unlock == 1'b0) begin    locked &lt;= d;endelse begin    locked &lt;= locked;end// VCS2013.06//  if((unlock == 1'b1 &amp;&amp; d == 1'b1) || (unlock == 1'b0)) begin//  locked &lt;= d;//  end//  else begin//  locked &lt;= locked;//  end 
========================================================
example9_i-a_t-0.9.v
    locked <= d | locked; 
========================================================
example10_i-a_t-0.9.v
//    if(unlock) begin//        locked <= d;//    end else begin//        locked <= locked;//    end// BUG://    if(unlock) begin//        locked <= d;//    end//    else locked <= locked;// FIX://    if(unlock) begin//        locked <= d;//    end//    else begin//        locked <= locked;//    end 
========================================================
example11_i-a_t-0.9.v
    if(~unlock) locked <= locked;    else locked <= d; 
========================================================
example12_i-a_t-0.9.v
    if(resetn) locked <= d;    else if(unlock) locked <= d; 
========================================================
example13_i-a_t-0.9.v
    if(!reset) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example14_i-a_t-0.9.v
    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;// END fix 
========================================================
example15_i-a_t-0.9.v
    if(unlock) locked &lt;= d;    else if(resetn == 0) locked &lt;= 0; 
========================================================
example16_i-a_t-0.9.v
    if(unlock)        locked &lt;= d;    else if(~resetn)        locked &lt;= 0; 
========================================================
example17_i-a_t-0.9.v
    if(unlock) locked <= 1'b1;    else if(!resetn) locked <= 1'b0; 
========================================================
example18_i-a_t-0.9.v
    if (resetn) begin        locked <= 0;    end else begin        if (unlock) begin             locked <= d;        end    end 
========================================================
example19_i-a_t-0.9.v
    if(unlock) locked &lt;= d;    else if(resetn==1'b0) locked &lt;= 1'b0;    else locked &lt;= locked;// --- 
========================================================
example0_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example1_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example2_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example4_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example5_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example6_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example7_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example8_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example9_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example10_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example12_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example13_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example14_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example15_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example16_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example17_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example18_i-b_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example19_i-b_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example0_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example1_i-b_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example2_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(resetn == 0) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example4_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example5_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example6_i-b_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example7_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example8_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example9_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example10_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example12_i-b_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example14_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example15_i-b_t-0.3.v
    if(resetn == 1'b0) begin        locked &lt;= 1'b0;    end    else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example16_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example17_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example18_i-b_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example19_i-b_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 0;    else locked &lt;= locked; 
========================================================
example0_i-b_t-0.5.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-b_t-0.5.v
if(unlock) beginlocked &lt;= d;endelse beginlocked &lt;= locked;end 
========================================================
example2_i-b_t-0.5.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example3_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b0; 
========================================================
example4_i-b_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example5_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b1;    else locked &lt;= locked; BUG: Uninitialized Value on Reset for Registers Holding Security Settings.     if(unlock) locked &lt;= d;    else locked &lt;= locked; FIX:    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b1;    else locked &lt;= locked; BUG: Uninitialized Value on Reset for Registers Holding Security Settings.     if(unlock) locked &lt;= d;    else locked &lt;= locked; FIX:    if(unlock)
========================================================
example6_i-b_t-0.5.v
    if(!resetn) begin        locked &lt;= 1'b0;    end else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example7_i-b_t-0.5.v
if(resetn == 1'b0) locked &lt;= 1'b0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example8_i-b_t-0.5.v
if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example9_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example10_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b0; 
========================================================
example11_i-b_t-0.5.v
//    if(unlock) locked <= d;//    else if(resetn) locked &lt;= 1'b0;    if(unlock) locked &lt;= d;    else if (resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example12_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example13_i-b_t-0.5.v
    if(unlock) locked <= d;    else if (!resetn) locked &lt;= 0;    else locked &lt;= locked; 
========================================================
example14_i-b_t-0.5.v
    if(unlock) begin        if(!resetn) begin            locked &lt;= 0;        end else begin            locked &lt;= d;        end    end 
========================================================
example15_i-b_t-0.5.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-b_t-0.5.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example17_i-b_t-0.5.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 1'b1;    else locked <= locked; 
========================================================
example18_i-b_t-0.5.v
if(unlock) locked &lt;= d;else if(!resetn) locked &lt;= 0;else locked &lt;= locked; 
========================================================
example19_i-b_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example0_i-b_t-0.7.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-b_t-0.7.v
    if(unlock) locked <= d;    else if (!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example2_i-b_t-0.7.v
    if(resetn) locked &lt;= 1'b1;    else if(unlock) locked &lt;= d; 
========================================================
example3_i-b_t-0.7.v
//    if(unlock) locked <= d;//    else if(!resetn) locked <= 1'b0;//    else locked <= locked;    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example4_i-b_t-0.7.v
if(!resetn)     locked &lt;= 1'b0;else    if(unlock)        locked &lt;= d;    else        locked &lt;= locked; 
========================================================
example5_i-b_t-0.7.v
    if(resetn == 0) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example6_i-b_t-0.7.v
    if(!resetn) locked &lt;= 1'b1;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example7_i-b_t-0.7.v
    if(~resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example8_i-b_t-0.7.v
    locked &lt;= d; // or lock_d;    if(unlock) locked &lt;= d; 
========================================================
example9_i-b_t-0.7.v
    if(resetn == 1'b0)        locked &lt;= 1'b0;    else if(unlock)        locked &lt;= d;    else        locked &lt;= locked; 
========================================================
example10_i-b_t-0.7.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example11_i-b_t-0.7.v
    if(resetn) begin        locked &lt;= 1'b0;    end else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example12_i-b_t-0.7.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-b_t-0.7.v
    if(resetn) begin        if(unlock) locked <= d;        else locked <= locked;    end 
========================================================
example14_i-b_t-0.7.v
    if(d) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example15_i-b_t-0.7.v
// 1. Add default value definition for register.// 2. Add reset value for register.// 1. Add default value definition for register.    default: begin        locked = 1'd0;    end// 2. Add reset value for register.    if(!resetn) begin        locked &lt;= 0;    end 
========================================================
example16_i-b_t-0.7.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 0;    else locked &lt;= locked; 
========================================================
example17_i-b_t-0.7.v
	if(unlock) 		locked &lt;= d;	else 		if(~resetn) 			locked &lt;= 1'b0;		else 			locked &lt;= locked; 
========================================================
example18_i-b_t-0.7.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 0;// END FIX </code>
========================================================
example19_i-b_t-0.7.v
    if(unlock) locked <= d;    else if (~resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example0_i-b_t-0.9.v
//    if(unlock) locked <= d;//    else locked <= locked;if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example1_i-b_t-0.9.v
  if(resetn) locked <= 0;  else if(unlock) locked <= d;  else locked <= locked; 
========================================================
example2_i-b_t-0.9.v
if(!resetn) locked &lt;= 0;  // unset lock by resetelse locked &lt;= locked; 
========================================================
example3_i-b_t-0.9.v
    if(resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; </code>
========================================================
example4_i-b_t-0.9.v
if(unlock)beginlocked &lt;= d;if(d == 1'b1) locked &lt;= 1'b0;end// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. // else if(!resetn) locked &lt;= d;// FIX:else if(!resetn)beginlocked &lt;= reset_val;end </code>Endpoint has<code>// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. (input clk,input resetn,input in_request,input in_write,input in_data,input in_wr_en,input out_ack,output reg out_data,output out_error);reg [7:0]
========================================================
example5_i-b_t-0.9.v
    if(!resetn) locked &lt;= 0;     else         if(unlock) locked &lt;= d;        else locked &lt;= locked; 
========================================================
example6_i-b_t-0.9.v
    if(unlock) locked &lt;= d;    else if (resetn == 0) locked &lt;= 1'b0; 
========================================================
example7_i-b_t-0.9.v
if(!resetn) locked &lt;= 1'b0;else if(unlock) locked &lt;= d; 
========================================================
example8_i-b_t-0.9.v
    locked &lt;= d; 
========================================================
example9_i-b_t-0.9.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0; // Here we add in an initialization on reset    else locked <= locked; 
========================================================
example10_i-b_t-0.9.v
	if(unlock) locked &lt;= d;	else if(!resetn) locked &lt;= locked; 
========================================================
example11_i-b_t-0.9.v
    if(~resetn) locked <= 1'b0;    else        if(unlock) locked <= d;        else locked <= locked; 
========================================================
example12_i-b_t-0.9.v
  if(~resetn) locked &lt;= 0;  else if(unlock) locked &lt;= d; 
========================================================
example13_i-b_t-0.9.v
    if(unlock) begin        if(resetn == 0) begin // &lt;=== This doesn't work            locked = 1;        end else begin            locked = d;        end    end else begin        locked = locked; // END </code>What is wrong with my if(resetn) statement? I can't get it to work correctly.A:Variables are, by default, inferred as reg, which is basically an output, but with combinational read to the internal logic.  So basically, you can't directly conditionally assign to a variable.The reason why this isn't allowed is because a variable is evaluated on every single clock edge (posedge and negedge), so if you conditionally assign, that would allow the value of the variable to change twice in 1 clock cycle.Here is how I would do it
========================================================
example14_i-b_t-0.9.v
        if(resetn) begin                if (unlock) locked &lt;= d;                else locked &lt;= 0;        end        else begin                if (unlock) locked &lt;= d;                else lock &lt;= lock;        end 
========================================================
example15_i-b_t-0.9.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example16_i-b_t-0.9.v
    if(unlock) locked &lt;= d;// BUG: Asynchronous Reset for Registers Holding Security Settings.//    if(~resetn) locked&lt;= 0;// FIX:    if(~resetn) locked&lt;= 0;    else if(unlock) locked &lt;= d;  
========================================================
example17_i-b_t-0.9.v
if(unlock) locked &lt;= d;else locked &lt;= locked;</code>A:If we look at the code for this module:<code>module lock_on_reset(input wire clk,input wire resetn,input wire unlock,input wire d,output reg locked);always @(posedge clk or negedge resetn) begin// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// FIX:if(unlock) locked &lt;= d;else locked &lt;= locked;</code>Why would we expect the variable called <code>resetn</code> to be assigned the value one (1)end

========================================================
example18_i-b_t-0.9.v
    if(resetn == 0) begin      locked &lt;= 1'b0;    end else begin      if(unlock) locked &lt;= d;      else locked &lt;= locked;    end   
========================================================
example19_i-b_t-0.9.v
if (resetn == 0) begin // Use RESETN instead of ~resetn.  locked <= 1'b0; // Initialize locked variable to 0.endelse begin  if(unlock) locked <= d;  else locked <= locked;  
========================================================
example0_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example1_i-c_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example2_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example4_i-c_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example5_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example6_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example7_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example8_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example9_i-c_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example10_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example12_i-c_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example14_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example15_i-c_t-0.1.v
    if(resetn == 0) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example16_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example17_i-c_t-0.1.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example18_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example19_i-c_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example0_i-c_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-c_t-0.3.v
    if(unlock) locked <= d;    else if (!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example2_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example3_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example4_i-c_t-0.3.v
    if(resetn == 0) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example5_i-c_t-0.3.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b0; 
========================================================
example6_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example7_i-c_t-0.3.v
    if(~resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example8_i-c_t-0.3.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example9_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example10_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example11_i-c_t-0.3.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example12_i-c_t-0.3.v
    if(resetn == 1'b0) begin        locked &lt;= 1'b0;    end    else if(unlock) begin        locked &lt;= d;    end    else begin        locked &lt;= locked;    end 
========================================================
example13_i-c_t-0.3.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example14_i-c_t-0.3.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 1'b0; 
========================================================
example15_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example16_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example17_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example18_i-c_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example19_i-c_t-0.3.v
    if(!resetn) begin        locked &lt;= 1'b0;    end    else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example0_i-c_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example1_i-c_t-0.5.v
    if(unlock) locked <= d;    else if(~resetn) locked <= locked;    else locked <= locked; 
========================================================
example2_i-c_t-0.5.v
    if(resetn == 1'b0) locked &lt;= 1'b0; // or any other value    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example3_i-c_t-0.5.v
    if(unlock) locked <= d;    else if(resetn == 0) locked <= 0;    else locked <= locked; 
========================================================
example4_i-c_t-0.5.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example5_i-c_t-0.5.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example6_i-c_t-0.5.v
//    if(!resetn) locked &lt;= 1'b0; //    else if(unlock) locked &lt;= d;//    else locked &lt;= locked;//// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// Ensure that the security sensitive lock register is assigned a value on reset.// FIX://    if(!resetn) locked &lt;= 1'b0; //    else if(unlock) locked &lt;= d;//    else locked &lt;= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    if(unlock) locked &lt;= d;//    else locked &
========================================================
example7_i-c_t-0.5.v
    if(!resetn) begin        locked &lt;= 1'b0;    end else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example8_i-c_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example9_i-c_t-0.5.v
    if(resetn == 0) begin        locked &lt;= 1'b0;    end    else if(unlock) begin        locked &lt;= d;    end 
========================================================
example10_i-c_t-0.5.v
    if(!resetn) begin        locked &lt;= 1'b0;    end    else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example11_i-c_t-0.5.v
//    if(unlock) locked <= d;//    else if(~resetn) locked <= 1'b0;//    else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    locked <= d;// Ensure that the security sensitive lock register is assigned a value on reset.// FIX://    if(~resetn) locked <= 1'b0;//    else locked <= d;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    locked <= ~resetn;// Ensure that the security sensitive lock register is assigned a value on reset.// FIX://    if(~resetn) locked <= 1'b0;//    else locked <= ~resetn;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. 
========================================================
example12_i-c_t-0.5.v
    if(resetn == 1'b0) begin        locked &lt;= 1'b0;    end else if(unlock) begin        locked &lt;= d;    end else begin        locked &lt;= locked;    end 
========================================================
example13_i-c_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example14_i-c_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 0; 
========================================================
example15_i-c_t-0.5.v
    if(resetn == 0) begin        locked &lt;= 0;    end    else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example16_i-c_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked &lt;= 1'b0; // Assign a default value on reset.    else locked &lt;= locked; 
========================================================
example17_i-c_t-0.5.v
if(unlock) locked &lt;= d;else if(!resetn) locked &lt;= 1'b0;else locked &lt;= locked; 
========================================================
example18_i-c_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example19_i-c_t-0.5.v
if(!resetn)     locked <= 0;else if(unlock)     locked <= d;else     locked <= locked; 
========================================================
example0_i-c_t-0.7.v
    if(resetn) begin        locked &lt;= 1'b0;    end    if(unlock) begin        locked &lt;= d;    end 
========================================================
example1_i-c_t-0.7.v
if(~resetn) locked &lt;= 1'b0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example2_i-c_t-0.7.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-c_t-0.7.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0;    else locked &lt;= locked; 
========================================================
example4_i-c_t-0.7.v
if(!resetn) locked &lt;= 1'b1;else locked &lt;= locked; 
========================================================
example5_i-c_t-0.7.v
if(resetn) begin    if(unlock) locked &lt;= d;    else locked &lt;= 0;endelse begin    if(unlock) locked &lt;= d;    else locked &lt;= locked;end 
========================================================
example6_i-c_t-0.7.v
    case (resetn)        1'b0: locked &lt;= 1'b0;           1'b1: locked &lt;= unlock ? d : locked;    endcase 
========================================================
example7_i-c_t-0.7.v
    if(unlock) locked <= d;    else locked <= (resetn ? 1'b0 : locked); 
========================================================
example8_i-c_t-0.7.v
     if(resetn == 0) locked &lt;= 0;     else locked &lt;= ((unlock) ? d : locked); 
========================================================
example9_i-c_t-0.7.v
    if(unlock) locked <= d;    else        if(!resetn) locked <= 1'b0;        else locked <= locked; 
========================================================
example10_i-c_t-0.7.v
    if(~resetn) begin        locked &lt;= 1'b0;    end else begin        if(unlock) locked &lt;= d;    end 
========================================================
example11_i-c_t-0.7.v
if(unlock)  locked <= d;else if(!resetn)  locked <= 1'b1; else  locked <= locked; 
========================================================
example12_i-c_t-0.7.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-c_t-0.7.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example14_i-c_t-0.7.v
      if(!resetn) begin        locked <= 1'b1;      end      else if(unlock) begin        locked <= d;      end      else begin        locked <= locked;      end   
========================================================
example15_i-c_t-0.7.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example16_i-c_t-0.7.v
    if(~resetn) locked &lt;= 1'b1;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example17_i-c_t-0.7.v
// This can be fixed by using a combinatinal assignment for the lock register // in the reset branch.if(resetn == 0)  locked &lt;= 0;else if(unlock)  locked &lt;= d;
========================================================
example18_i-c_t-0.7.v
if(~resetn) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example19_i-c_t-0.7.v
    if(!resetn) locked &lt;= 1'b1;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example0_i-c_t-0.9.v
//  if(unlock) locked <= d;//  else//  if(!resetn) locked <= 0;//  else locked <= locked;//// Alternative Fix #1, where the default value at start of simulation is unlocked//      if(unlock) locked &lt;= d;//  else if (!resetn) locked &lt;= 1'b1;//  else locked &lt;= locked;//// Alternative Fix #2, where the default value at start of simulation is unknown//   if(unlock) locked &lt;= d;//  else if (!resetn) locked &lt;= 1'bx;//  else locked &lt;= locked;//// Alternative Fix #3, where the default value at start of simulation is locked//  if(unlock) locked &lt;= d;
========================================================
example1_i-c_t-0.9.v
	if(unlock) begin		locked <= d;	end	else begin		if(!resetn) begin			locked &lt;= 1'b0;		end		else begin			locked &lt;= locked;		end	end 
========================================================
example2_i-c_t-0.9.v
     if(resetn == 0) begin        locked &lt;= 0;     end     else if(unlock) begin        locked &lt;= d;     end     else begin        locked &lt;= locked;     end 
========================================================
example3_i-c_t-0.9.v
    if(unlock) locked <= d;    else if (!resetn) locked <= 'b0;    else locked <= locked; 
========================================================
example4_i-c_t-0.9.v
    if(~resetn) locked <= 0;    else locked <= locked;    if(unlock) locked <= d; 
========================================================
example5_i-c_t-0.9.v
    if (!resetn) begin       locked &lt;= 1'b0;    end    else begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end 
========================================================
example6_i-c_t-0.9.v
    if(unlock) locked <= d;    else if(resetn == 0) locked <= 1'b0;    else locked <= locked; // Add assertions to detect reset value//assert property (@posedge clk, @negedge resetn)locked == 1'b0; // BUG: Uninitialized Value on Reset for Registers Holding Security Settings. The assertion fails.//assert property (@posedge clk, @negedge resetn)locked == 1'b0 |-> locked; // FIX: The assertion fails.
========================================================
example7_i-c_t-0.9.v
    if(~resetn == 1'b1 || unlock) locked <= d;    else locked <= locked; 
========================================================
example8_i-c_t-0.9.v
    if(unlock) locked &lt;= d;    else locked &lt;= locked;// BUG: Uninitialized Value on Reset for Output Signals //    if(unlock) locked &lt;= d;//    else locked &lt;= locked;// The function driving the output (in this case locked) may not be executed// immediately when reset is de-asserted. // FIX:     if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example9_i-c_t-0.9.v
   if(resetn == 0)       locked &lt;= 0;   else       if(unlock) locked &lt;= d; 
========================================================
example10_i-c_t-0.9.v
if(unlock) begin    if(resetn == 1'b0) begin        locked &lt;=  1'b0;    end else begin        locked &lt;= d;    endend else begin    locked &lt;= locked;end 
========================================================
example11_i-c_t-0.9.v
    if(~resetn) locked = 0; // 0 - unlocked    else if(unlock) locked = d; 
========================================================
example12_i-c_t-0.9.v
//key  // Registers holding security settings must be initialized to a value in the design.    if(~resetn) begin        locked <= 1'b0;     end else if(unlock) begin        locked <= d;      end 
========================================================
example13_i-c_t-0.9.v
  if(resetn == 1'b0) begin     locked &lt;= 1'b0;   end else begin     if (unlock) locked &lt;= d;     else locked &lt;= locked;   end  
========================================================
example14_i-c_t-0.9.v
    if(unlock) locked &lt;= d;    else if(~resetn) locked &lt;= 0; 
========================================================
example15_i-c_t-0.9.v
 if(!resetn) locked &lt;= 1'b0; // Reset to 0 else       locked &lt;= locked || unlock &amp; d; 
========================================================
example16_i-c_t-0.9.v
    if(!resetn) locked <= 1'b1; // lock asserted on power/reset    else if(unlock) locked <= d;// --------------------------------------------------------------------------------- 
========================================================
example17_i-c_t-0.9.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example18_i-c_t-0.9.v
if(unlock) locked &lt;= d;else if(!resetn) locked &lt;= 0;else locked &lt;= locked;  
========================================================
example19_i-c_t-0.9.v
    if(unlock) locked <= d;    else if(!resetn) locked <= locked;    else locked <= locked;       
========================================================
example0_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example2_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example3_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example4_i-d_t-0.1.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example5_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example6_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example7_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example8_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example9_i-d_t-0.1.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example10_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example11_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example12_i-d_t-0.1.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example14_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example15_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example16_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example17_i-d_t-0.1.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example18_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example19_i-d_t-0.1.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example0_i-d_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-d_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example2_i-d_t-0.3.v
if(!resetn) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example3_i-d_t-0.3.v
if(!resetn) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example4_i-d_t-0.3.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-d_t-0.3.v
if(!resetn) locked &lt;= 1'b0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example6_i-d_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; 
========================================================
example7_i-d_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example8_i-d_t-0.3.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example9_i-d_t-0.3.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example10_i-d_t-0.3.v
if(!resetn) locked &lt;= 1'b0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example11_i-d_t-0.3.v
    if(resetn == 0) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example12_i-d_t-0.3.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-d_t-0.3.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example14_i-d_t-0.3.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 0;    else locked <= locked; 
========================================================
example15_i-d_t-0.3.v
if(!resetn) locked <= 0;else if(unlock) locked <= d;else locked <= locked; 
========================================================
example16_i-d_t-0.3.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example17_i-d_t-0.3.v
if(resetn == 0) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example18_i-d_t-0.3.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-d_t-0.3.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example0_i-d_t-0.5.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example1_i-d_t-0.5.v
if(resetn) begin    if(unlock) locked &lt;= d;    else locked &lt;= locked;endelse begin    locked &lt;= 0;end 
========================================================
example2_i-d_t-0.5.v
    if(!resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-d_t-0.5.v
if(!resetn) locked <= 1'b0;else if(unlock) locked <= d;else locked <= locked; 
========================================================
example4_i-d_t-0.5.v
if(!resetn) begin    locked &lt;= 0;endelse begin    if(unlock) locked &lt;= d;    else locked &lt;= locked;end 
========================================================
example5_i-d_t-0.5.v
    if(resetn == 0) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-d_t-0.5.v
if(!resetn) locked <= 0;else if(unlock) locked <= d;else locked <= locked; 
========================================================
example7_i-d_t-0.5.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example8_i-d_t-0.5.v
    if(unlock) locked <= d;    else if(resetn) locked <= locked;    else locked <= 0; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else locked <= 0; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else locked <= 1'b0; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else locked <= 'b0; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else locked <= '0; Assign 0 to register when reset is low FIX:    if(un
========================================================
example9_i-d_t-0.5.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 0; 
========================================================
example10_i-d_t-0.5.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example11_i-d_t-0.5.v
    if(resetn == 0) locked &lt;= 0;// If unlock signal is high, then read data// else keep the register value    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example12_i-d_t-0.5.v
//    if(unlock) locked <= d;//    else if(!resetn) locked <= 0;//    else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.// FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example13_i-d_t-0.5.v
    if(unlock) locked <= d;    else locked <= 1'b0; 
========================================================
example14_i-d_t-0.5.v
//    if(~resetn) locked <= 0;//    else if(unlock) locked <= d;//    else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.//    if(unlock) locked <= d;//    else locked <= locked;// Assign 0 to register when reset is low// FIX://    if(~resetn) locked <= 0;//    else if(unlock) locked <= d;//    else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.//    if(unlock) locked <= d;//    else locked <= locked;// Assign 0 to register when reset is low// FIX://    if(~resetn) locked <= 0;//    else if(unlock) locked <=
========================================================
example15_i-d_t-0.5.v
    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; Assign 0 to register when reset is low FIX:    if(unlock) locked <= d;    else if(!resetn) locked <= 0;    else locked <= locked; Assign 0 to register when reset is low FIX:    if
========================================================
example16_i-d_t-0.5.v
    if(!resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-d_t-0.5.v
if(!resetn) locked &lt;= 0;else if(unlock) locked &lt;= d; 
========================================================
example18_i-d_t-0.5.v
if(!resetn) beginlocked &lt;= 0;endelse begin    if(unlock) locked &lt;= d;    else locked &lt;= locked;end 
========================================================
example19_i-d_t-0.5.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example0_i-d_t-0.7.v
if (~resetn)locked &lt;= 1'b0;else beginif(unlock)locked &lt;= d;end 
========================================================
example1_i-d_t-0.7.v
if(!resetn) locked <= 0;else begin    if(unlock) locked <= d;    else locked <= locked;end 
========================================================
example2_i-d_t-0.7.v
if(~resetn) begin    locked &lt;= 1'b0;end else begin    if(unlock) locked &lt;= d;    else locked &lt;= locked;end 
========================================================
example3_i-d_t-0.7.v
if(!resetn) locked &lt;= 1'b0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example4_i-d_t-0.7.v
if(!resetn)    locked <= 0;else if(unlock)    locked <= d;else locked <= locked; 
========================================================
example5_i-d_t-0.7.v
  if(resetn == 0)    locked &lt;= 1'b0;  // Assign value to register when reset is high      else    locked &lt;= d; 
========================================================
example6_i-d_t-0.7.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 0; 
========================================================
example7_i-d_t-0.7.v
    if(unlock) locked <= d;    else locked <= 1'b0; 
========================================================
example8_i-d_t-0.7.v
if(~resetn) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example9_i-d_t-0.7.v
if(~resetn) locked &lt;= 0;else if(unlock)    locked &lt;= d;else locked &lt;= locked; 
========================================================
example10_i-d_t-0.7.v
    if(resetn) begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end    else locked &lt;= 0; 
========================================================
example11_i-d_t-0.7.v
    if(!resetn) locked = 1'b0;    else if(unlock) locked <= d;    else locked <= locked; Assign 0 to register when reset is low FIX:    if(!resetn) locked = 1'b0;    else if(unlock) locked <= d;    else locked <= locked; BUG: Uninitialized Value on Reset for Registers Holding Security Settings. FIX:    if(!resetn) locked = 1'b0;    else if(unlock) locked <= d;    else locked <= locked; BUG: Uninitialized Value on Reset for Registers Holding Security Settings. FIX:    if(!resetn) locked = 1'b0;    else if(unlock) locked <= d;   
========================================================
example12_i-d_t-0.7.v
if(!resetn) locked &lt;= 0;else if(unlock) locked &lt;= d;else locked &lt;= locked; 
========================================================
example13_i-d_t-0.7.v
    if(unlock) locked <= d;    else if(resetn == 1'b0) locked <= 1'b0;    else locked <= locked; 
========================================================
example14_i-d_t-0.7.v
    if(!resetn) locked &lt;= 0;    else if(unlock) locked &lt;= d; 
========================================================
example15_i-d_t-0.7.v
    if(resetn == 1) begin        if(unlock) locked &lt;= d;        else locked &lt;= locked;    end    else begin        locked &lt;= 0;    end 
========================================================
example16_i-d_t-0.7.v
    if(unlock) locked <= d;    else if(resetn) locked <= 1'b0;    else locked <= locked; 
========================================================
example17_i-d_t-0.7.v
//   if(resetn) locked <= locked;//   else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.//    if(unlock) locked <= d;//    else locked <= locked;// Assign 0 to register when reset is low// FIX:    if(resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-d_t-0.7.v
    if(resetn == 0)        locked <= 0;    else if(unlock)        locked <= d;    else        locked <= locked; 
========================================================
example19_i-d_t-0.7.v
    if(unlock) locked &lt;= d;    else if(!resetn) locked &lt;= 1'b0; 
========================================================
example0_i-d_t-0.9.v
    if(unlock) locked = reduce_security(locked);    else if(~resetn) locked = 0;    else locked = locked; 
========================================================
example1_i-d_t-0.9.v
//   if(!resetn) locked &lt;= 1'b0;//   else if(unlock) locked &lt;= d;// FIX:   if(!resetn) locked &lt;= 1'b0;   else if(unlock) locked &lt;= d;   else locked &lt;= locked; 
========================================================
example2_i-d_t-0.9.v
    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-d_t-0.9.v
   if(unlock) locked <= d;   else if(!resetn) locked <= 0;   else  locked <= locked; 
========================================================
example4_i-d_t-0.9.v
// Short circuit evaluation has to be used to determine value of "locked" for reset case.// In other words, if( a&amp;b || c&amp;d) creates an issue.// We can use locked &lt;= a^b ^ c^d to get around this.// Please read more in the "Short Circuit Evaluation" section on//  https://en.wikipedia.org/wiki/Mux_(digital)// or//  https://verificationacademy.com/forums/systemverilog/mux-logic-short-circuit-evaluation// or//  https://www.edaplayground.com/s/261      if(unlock) locked &lt;= d;      else if(resetn == 0) locked &lt;= 0;         else locked &lt;= locked; 
========================================================
example5_i-d_t-0.9.v
    if(resetn == 0) locked &lt;= 0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example6_i-d_t-0.9.v
// if(resetn == 0) locked &lt;= 0; 
========================================================
example7_i-d_t-0.9.v
    if(!resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; // This can also be shortened to://    if(!resetn) locked &lt;= 1'b0;//    else if(unlock) locked &lt;= d;// Assign 0 to register when reset is low// FIX://      if(!resetn) locked &lt;= 1'b0;//      else locked &lt;= d;  
========================================================
example8_i-d_t-0.9.v
//    else if (resetn) locked <= 0;// elseif is optional, it occurs on a reset, therefore you do not need elseif// else locked <= locked;// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. //    if(unlock) locked <= d;//    else locked <= locked;// Assign 0 to register when reset is low// FIX://    else if (resetn) locked <= 0;// elseif is optional, it occurs on a reset, therefore you do not need elseif// else locked <= locked;    locked &lt;= unlock ? d : locked; 
========================================================
example9_i-d_t-0.9.v
if(unlock) locked <= d;else if(!resetn) locked <= 0;else locked <= locked; 
========================================================
example10_i-d_t-0.9.v
// if(!resetn) locked <= 0;// else//   if(unlock) locked <= d;//   else locked <= locked;// Now the 0 is assigned to locked if the reset is low.// Otherwise, whatever the next k-lock value is, is assigned to it if// lock is high, otherwise it stays whatever it is.// Conclusion: 1.0x reset-bug-detector is a simple way to check// and all your zero-assignments are accounted for.// BONUS: Reliable Verilog-to-VHDL RTL translation.if(!resetn) locked <= 1'b0;else  if(unlock) locked <= d;  else locked <= locked; 
========================================================
example11_i-d_t-0.9.v
if(!resetn) locked <= 1'b0;// FIX Initialization of reset//    if(unlock) locked <= d;//    else locked <= locked;    else if(unlock) locked <= d; 
========================================================
example12_i-d_t-0.9.v
    if (~resetn) locked &lt;= 1'b0;    else if(unlock) locked &lt;= d;    else locked &lt;= locked; 
========================================================
example13_i-d_t-0.9.v
    if(unlock) begin        if(!resetn) locked[0:0] &lt;= 1'b0;        else locked &lt;= d;    end    else locked &lt;= locked;endinitial begin    locked = 1;    $display("locked_on_reset, locked = %d", locked); 
========================================================
example14_i-d_t-0.9.v
//    if(~resetn) locked <= 0;// BUG: Registers in security-critical modules are not initialized 'on reset' to zero.// FIX://    else if(~resetn) locked <= 1'b0;//    else if(unlock) locked <= d;//    else locked <= locked;// BUG: Design is not verified to ensure the default value of a// sensitive register is zero on reset.// FIX: Registers should be initialized to zero on reset or// default value should be replaced with zero.    if(unlock) locked <= d;    else locked <= 0; 
========================================================
example15_i-d_t-0.9.v
//    if(unlock) locked &lt;= d;//    else locked &lt;= 1'b0;// Add reset to register declaration// FIX://    reg [19:0] locked;// Add reset to register declaration and assign logic to reset to value.// FIX://    reg [19:0] locked = 20'd0;    if(~resetn) begin        locked &lt;= 1'b0;    end    else begin// BUG: Found 1 Issue of Security Setting Reset//        if(unlock) locked &lt;= d;// Add invert to if statement.// FIX:        if(~unlock) locked &lt;= d;    end 
========================================================
example16_i-d_t-0.9.v
if(resetn == 0)    locked &lt;= 0;else    if(unlock)        locked &lt;= d;    else        locked &lt;= locked; 
========================================================
example17_i-d_t-0.9.v
  if(resetn == 0) locked &lt;= 0;    else locked &lt;= locked; 
========================================================
example18_i-d_t-0.9.v
 locked &lt;= 1'b0; 
========================================================
example19_i-d_t-0.9.v
if(~resetn)locked <= 0;elseif(unlock) locked <= d;else locked <= locked; 
========================================================
example0_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example1_i-e_t-0.1.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example2_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example4_i-e_t-0.1.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example7_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example8_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example10_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example11_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example12_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example13_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example14_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example15_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-e_t-0.1.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-e_t-0.1.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example0_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example1_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example2_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example4_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example7_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example8_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example10_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example11_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example12_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example13_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example14_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example15_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-e_t-0.3.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-e_t-0.3.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example0_i-e_t-0.5.v
    if(~resetn) locked<=1'b1;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example1_i-e_t-0.5.v
    if(unlock) locked <= d;    else if(~resetn) locked <= 0;    else locked <= locked; 
========================================================
example2_i-e_t-0.5.v
    if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example4_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-e_t-0.5.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example7_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example8_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-e_t-0.5.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example10_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else locked <= locked;// FIX:    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example11_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example12_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example13_i-e_t-0.5.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example14_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example15_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-e_t-0.5.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-e_t-0.5.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-e_t-0.5.v
    if(resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-e_t-0.5.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example0_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example1_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example2_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example3_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked;// BUG://    if(unlock) locked <= d;//    else locked <= locked;// FIX:    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example4_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-e_t-0.7.v
    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example6_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked;// BUG://    if(~resetn) locked <= 0;//    else if(unlock) locked <= d;//    else locked <= locked;// FIX:    if(unlock) locked <= d;    else if(~resetn) locked <= 0;    else locked <= locked; 
========================================================
example7_i-e_t-0.7.v
    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example8_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-e_t-0.7.v
    if(~resetn) locked <=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example10_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked;end// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.// always @(posedge clk or negedge resetn) begin//    if(unlock) locked <= d;//    else locked <= locked;// end// FIX:always @(posedge clk or negedge resetn) begin    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example11_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example12_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example13_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example14_i-e_t-0.7.v
    if(unlock) locked <= d;    else locked <= locked;
========================================================
example15_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-e_t-0.7.v
    if(resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-e_t-0.7.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-e_t-0.7.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example0_i-e_t-0.9.v
    locked <= q; 
========================================================
example1_i-e_t-0.9.v
if(~resetn) locked<=1'b0;else if(unlock) locked <= d;else locked <= locked;// FIX: Security-Critical Value Missing from Reset Initialization
========================================================
example2_i-e_t-0.9.v
    #1 locked <= d; 
========================================================
example3_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example4_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example5_i-e_t-0.9.v
    if(unlock & amp;&amp; d) locked <= 1'b0; // Allow only one assertion of unlock signal.    else if(unlock & amp;&amp; ~d) locked <= 1'b1;    else locked <= locked; 
========================================================
example6_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked;    $fflush(stdout);    $fdisplay(stdout, "q:%b, locked:%b\n", q, locked); 
========================================================
example7_i-e_t-0.9.v
    if(unlock) locked <= d;    else if(~resetn) locked <= (1'bz);    else locked <= locked; 
========================================================
example8_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example9_i-e_t-0.9.v
    if(unlock) locked <= d;    else if(~resetn) locked <=0;    else locked <= locked; // BUG:// if(unlock) locked <= d;// end
========================================================
example10_i-e_t-0.9.v
    if(unlock) locked <= 1;    else if(~resetn) locked <= 0;    else locked <= locked; 
========================================================
example11_i-e_t-0.9.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; ');fclose($fh);shell_exec("../tools/lc3as source.asm obj.o");$result = shell_exec("../tools/lc3sim obj.o");unlink("source.asm");unlink("obj.o");if(strpos($result, 'Failed!') > 0) {    header("Location: submit.php?id=".$id."&success=no");} else {    header("Location: submit.php?id=".$id."&success=yes");}
========================================================
example12_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example13_i-e_t-0.9.v
    if(unlock) locked <= d;    else locked<= 0; 
========================================================
example14_i-e_t-0.9.v
    if(~resetn) locked <=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example15_i-e_t-0.9.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example16_i-e_t-0.9.v
    if(~resetn) locked <= 0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example17_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example18_i-e_t-0.9.v
    if(~resetn) locked<=0;    else if(unlock) locked <= d;    else locked <= locked; 
========================================================
example19_i-e_t-0.9.v
    if(~resetn) locked <= 1'b0;    else if(unlock) locked <= 1'b0;    else locked <= locked; 
========================================================
