example0_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example1_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example2_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example3_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example4_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example5_i-a_t-0.1.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;


========================================================
example6_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example7_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example8_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example9_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example10_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example11_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example12_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example13_i-a_t-0.1.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;


========================================================
example14_i-a_t-0.1.v
if(unlock) locked <= d;


========================================================
example15_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example16_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example17_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example18_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example19_i-a_t-0.1.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example0_i-a_t-0.3.v
    if(unlock) locked <= 1'b1;
    else locked <= 1'b0;


========================================================
example1_i-a_t-0.3.v
  if(unlock) locked <= d;
  else if(resetn == 1'b0) locked <= 1'b0;
  else locked <= locked;


========================================================
example2_i-a_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example3_i-a_t-0.3.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) 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 == 0) locked <= 0;
//    else locked <= locked;
    if(unlock) locked <= d;
    else if(resetn == 0) locked <= 0;
    else locked <= locked;


========================================================
example6_i-a_t-0.3.v
    if(unlock) locked <= 1'b0;
    else locked <= locked;


========================================================
example7_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 if(locked) locked <= 0;
//    else locked <= 1;

// BUG:
//    if(unlock) locked <= d;
//    else if(resetn) locked <= 0;
//    else if(locked) locked <= 0;
//    else locked <= 1;
// FIX:
//    if(unlock) locked <= d;
//    else if(resetn) locked <= 0
========================================================
example8_i-a_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example9_i-a_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example10_i-a_t-0.3.v
if(unlock) locked <= d;


========================================================
example11_i-a_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example12_i-a_t-0.3.v
if(unlock) begin
    locked <= d;
end else begin
    if(resetn == 1'b1) begin
        locked <= 1'b0;
    end else begin
        locked <= locked;
    end
end


========================================================
example13_i-a_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example14_i-a_t-0.3.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;


========================================================
example15_i-a_t-0.3.v
    if(unlock) locked <= d;
    else if(resetn == 0) locked <= 1'b0;
    else locked <= locked;


========================================================
example16_i-a_t-0.3.v
    if(unlock) locked <= 1'b0;
    else locked <= locked;


========================================================
example17_i-a_t-0.3.v
if(unlock) locked <= d;
else if(resetn == '0') locked <= 1'b1;
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 == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example0_i-a_t-0.5.v
	if(unlock) locked <= 1;
	else locked <= 0;


========================================================
example1_i-a_t-0.5.v
    if(unlock) locked <= 0;
    else locked <= 1;

 


========================================================
example2_i-a_t-0.5.v
if(unlock) locked <= d;
 


========================================================
example3_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn) locked <= 0;
else locked <= locked;


========================================================
example4_i-a_t-0.5.v
if(unlock) locked <= d;


========================================================
example5_i-a_t-0.5.v
if(unlock) locked <= d;
 

========================================================
example6_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == '1') locked <= 0;
else locked <= locked;


========================================================
example7_i-a_t-0.5.v
  if(unlock) locked <= d;


========================================================
example8_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b1;
else locked <= locked;


========================================================
example9_i-a_t-0.5.v
    if(unlock) locked <= 0;
    else {
        if(resetn == 0) locked <= 0;
        else locked <= locked;
    }


========================================================
example10_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example11_i-a_t-0.5.v
//    if(unlock) locked <= d;
//    else if(resetn) locked <= d;
//    else locked <= locked;
    if(unlock) locked <= d;
    else if(resetn) locked <= d;
    else locked <= locked;


========================================================
example12_i-a_t-0.5.v
locked <= d;


========================================================
example13_i-a_t-0.5.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;


========================================================
example14_i-a_t-0.5.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;


========================================================
example15_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example16_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == '0') locked <= 1'b1;
else locked <= locked;


========================================================
example17_i-a_t-0.5.v
if(unlock) locked <= d;


========================================================
example18_i-a_t-0.5.v
    if(unlock) locked <= d;
    else if(resetn == 1'b1) locked <= 1'b0;
    else locked <= locked;


========================================================
example19_i-a_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b1;
else locked <= locked;


========================================================
example0_i-a_t-0.7.v
    if(unlock) begin
        locked <= d;
    end else begin
        if(resetn == 1'b1) locked <= d;
        else locked <= locked;
    end

 

========================================================
example1_i-a_t-0.7.v
if(unlock) locked <= d;



========================================================
example2_i-a_t-0.7.v
  if(resetn == 1'b1)
    locked <= d;
  else begin
    if(unlock)
      locked <= d;
    else
      locked <= locked;
  end
 


========================================================
example3_i-a_t-0.7.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;

    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
 

========================================================
example4_i-a_t-0.7.v
if(unlock) locked <= d;
else
if(resetn == 1'b1) locked <= 1'b1;
else locked <= locked;

 


========================================================
example5_i-a_t-0.7.v
    if(unlock) locked <= 0;

    if(resetn == 0) locked <= 0;
    else            locked <= d;


========================================================
example6_i-a_t-0.7.v
    if(unlock) locked <= 0;
    else if(resetn==1) locked <= 0;
    else locked <= d;


========================================================
example7_i-a_t-0.7.v
if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example8_i-a_t-0.7.v
if(unlock) locked <= d;
else if(!resetn) locked <= 0;
else locked <= locked;


========================================================
example9_i-a_t-0.7.v
    if(unlock) locked <= d;
    else if(!resetn) locked <= 1'b0;
    else locked <= locked;



========================================================
example10_i-a_t-0.7.v
if(unlock) locked <= 1'b1;
    else locked <= 1'b0;


========================================================
example11_i-a_t-0.7.v
if(unlock) begin
    locked <= d;
end
else begin
    if(resetn == 1'b0) locked <= 1'b0;
    else locked <= locked;
end

========================================================
example12_i-a_t-0.7.v
    if(unlock) locked <= 1'b1;
    else if(resetn == 1'b0) locked <= 1'b1;
    else locked <= locked;


========================================================
example13_i-a_t-0.7.v
    if(unlock) locked <= d;
    else if(!resetn) locked <= 0;
    else locked <= locked;


========================================================
example14_i-a_t-0.7.v
    if(unlock) locked <= 1'b0;
    else locked <= locked;


========================================================
example15_i-a_t-0.7.v
if(unlock) begin
  locked <= d;
end
else
  locked <= locked;

 

========================================================
example16_i-a_t-0.7.v
if(unlock) locked <= d;


========================================================
example17_i-a_t-0.7.v
    if(unlock) locked <= ~d;
    else locked <= locked;


========================================================
example18_i-a_t-0.7.v
if(unlock) locked <= d;


========================================================
example19_i-a_t-0.7.v
if(unlock)
{
  locked <= d;
}
else
{
  locked <= locked;
}


========================================================
example0_i-a_t-0.9.v
        if(unlock) // UNLOCK
            locked <= d;
        else // LOCK
            locked <= 1'b0;
 


========================================================
example1_i-a_t-0.9.v
  if (resetn == 1'b0)
  begin
    locked <= 0;
  end
  else if (unlock)
  begin
  	locked <= !d;
  end
  else
  begin
  	locked <= locked;
  end


========================================================
example2_i-a_t-0.9.v
    if(unlock) locked <= 1;
    else locked <= locked;

 

========================================================
example3_i-a_t-0.9.v
    if(unlock) locked <= d;
    else begin
        if(resetn == 0)
            locked <= 1;
        else if(clock) begin
            if(!(locked && resetn)) begin
                locked <= ~locked;
            end
        end
    end

 


========================================================
example4_i-a_t-0.9.v
if(unlock) locked <= 1;
else locked <= 0;


========================================================
example5_i-a_t-0.9.v
if(unlock) locked <= d;


========================================================
example6_i-a_t-0.9.v
if(unlock) locked <= 0;
else if(!resetn) locked <= 0;
else locked <= locked;


========================================================
example7_i-a_t-0.9.v
  if(unlock) locked <= d;
  else if(!resetn) locked <= d;
  else locked <= locked;


========================================================
example8_i-a_t-0.9.v
if(unlock)    
  locked <= d;


========================================================
example9_i-a_t-0.9.v
if(unlock) locked <= d;
else
if(resetn == 0) locked <= 1'b0;
else
if(clk == 1) locked <= !locked;


========================================================
example10_i-a_t-0.9.v
//    if(unlock) locked <= d;
//    else if(resetn == 1'b0) locked <= locked;
//    else locked <= locked;

    if(resetn == 1'b0) locked <= 0;
    if(unlock) locked <= 0;

 


========================================================
example11_i-a_t-0.9.v
//    if(unlock) locked <= ~d; // Assume output is inverted
// BUG:
//    else locked <= locked;
// FIX:
//    else locked <= d;

// TODO: How do we know if the reset is low or not?
// BUG: Having Power ON and OFF status seems ambiguous to me.
// FIX: Based on the oscillator running at 20MHz, the first clock cycle is not good.

// BUG: We can't start as soon as we hit unlock.
// FIX: We need to wait after the unlock occurs.
if((clk == 1'b1) & (~resetn == 1'b1) & (~locked)) begin
    locked <= ~(d);
end


========================================================
example12_i-a_t-0.9.v
    locked <= d;
 

========================================================
example13_i-a_t-0.9.v
if(unlock) locked <= d && !locked;
 

========================================================
example14_i-a_t-0.9.v
    if (resetn == 1'b0) begin
        locked <= d;
    end

    else if (unlock == 1'b1) begin
        locked <= d;
    end

    else begin
        locked <= locked;
    end

 


========================================================
example15_i-a_t-0.9.v
    if(unlock) locked <= !locked;
    else locked <= locked;


========================================================
example16_i-a_t-0.9.v
    if(resetn == 0) locked <= 1;
    else if(unlock) locked <= d;
    else locked <= locked;

    if(resetn == 0)
    begin
        locked <= 1;
    end
    else
    begin
        if(unlock) locked <= d;
    end
 

========================================================
example17_i-a_t-0.9.v
if(unlock) begin
  if(d) begin
  locked <= 0;
  end
  else begin
  locked <= 1;
  end
end
else begin
  locked <= locked;
end


========================================================
example18_i-a_t-0.9.v
if(unlock) locked <= d;
else if(resetn) locked <= 2'b0;



========================================================
example19_i-a_t-0.9.v
  if(resetn == 1'b0) locked <= 0;
  else if(unlock) locked <= d;
  else locked <= locked;
 

========================================================
example0_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example1_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example2_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example3_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example4_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example5_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example6_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example7_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example8_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example9_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example10_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example11_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example12_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example13_i-b_t-0.1.v
locked <= d;


========================================================
example14_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example15_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example16_i-b_t-0.1.v
locked <= d;


========================================================
example17_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example18_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example19_i-b_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example0_i-b_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example1_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example2_i-b_t-0.3.v
locked <= d;


========================================================
example3_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example4_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example5_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example6_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example7_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example8_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example9_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;

 

========================================================
example10_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example11_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example12_i-b_t-0.3.v
locked <= d;


========================================================
example13_i-b_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example14_i-b_t-0.3.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example15_i-b_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 0) locked <= 1'b0;
else locked <= locked;


========================================================
example16_i-b_t-0.3.v
if(unlock) locked <= d;


========================================================
example17_i-b_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example18_i-b_t-0.3.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= locked;
    else locked <= locked;


========================================================
example19_i-b_t-0.3.v
if(unlock) locked <= 1'b1;
else locked <= 1'b0;


========================================================
example0_i-b_t-0.5.v
locked <= d;


========================================================
example1_i-b_t-0.5.v
//    if(unlock) locked <= 1'b0;
//    else locked <= locked;
    if(unlock) locked <= 0;
    else locked <= locked;

 



========================================================
example2_i-b_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example3_i-b_t-0.5.v
if(unlock) locked <= d;
else begin
  if(resetn == 0) locked <= 0;
  else locked <= locked;
end


========================================================
example4_i-b_t-0.5.v
if(unlock) locked <= d;
 

========================================================
example5_i-b_t-0.5.v
locked <= d;


========================================================
example6_i-b_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example7_i-b_t-0.5.v
    if(unlock) locked <= 1;
    else locked <= 0;


========================================================
example8_i-b_t-0.5.v
    if(unlock) locked <= d;
    else locked <= 1'b1;


========================================================
example9_i-b_t-0.5.v
// Since the reset value of a register is undefined, we have to initialize it to a known value.
// This is done by assigning the reset value to the register.
// If the reset value is not known, use a constant.
if(unlock) locked <= d;
else locked <= 1'b0;

 

========================================================
example10_i-b_t-0.5.v
locked <= d;


========================================================
example11_i-b_t-0.5.v
locked <= d;


========================================================
example12_i-b_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example13_i-b_t-0.5.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example14_i-b_t-0.5.v
if(unlock) locked <= 1'b1;
else locked <= 1'b0;


========================================================
example15_i-b_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example16_i-b_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example17_i-b_t-0.5.v
if(unlock) locked <= d;


========================================================
example18_i-b_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example19_i-b_t-0.5.v
locked <= d;


========================================================
example0_i-b_t-0.7.v
if(unlock) locked <= d;
else if(locked) locked <= ~locked;
else locked <= 0;
 

========================================================
example1_i-b_t-0.7.v
if(unlock) locked <= d;
else locked <= locked;

 

========================================================
example2_i-b_t-0.7.v
if(unlock) locked <= d;
else begin
    if(resetn == 1'b1) locked <= 1'b0;
    else locked <= locked;
end


========================================================
example3_i-b_t-0.7.v
if(resetn == 0) begin
    locked <= 0;
end
else if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example4_i-b_t-0.7.v
  if(unlocked) locked <= d;
  else locked <= locked;


========================================================
example5_i-b_t-0.7.v
  if(unlock) locked <= d;
  else if(resetn == 0) locked <= locked;
  else locked <= $not(locked);


========================================================
example6_i-b_t-0.7.v
locked <= d;


========================================================
example7_i-b_t-0.7.v
if(unlock) locked <= d;
else locked <= locked;



========================================================
example8_i-b_t-0.7.v
//    if(unlock) locked <= d;
    if(unlock) locked <= d;
    else locked <= locked;

 

========================================================
example9_i-b_t-0.7.v
locked <= (!unlock) && (!resetn);

  if (unlock)
  begin
    locked <= d;
  end
  else
  begin
    locked <= locked;
  end
 

========================================================
example10_i-b_t-0.7.v
locked <= d;


========================================================
example11_i-b_t-0.7.v
locked <= !unlock ? d : locked;



========================================================
example12_i-b_t-0.7.v
    if(unlock) locked <= 1;
    else if(resetn == 1'b0) locked <= 1;
    else locked <= 0;
    

========================================================
example13_i-b_t-0.7.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example14_i-b_t-0.7.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example15_i-b_t-0.7.v
if(unlock) locked <= d;


========================================================
example16_i-b_t-0.7.v
if(unlock) locked <= d;
if(!resetn) locked <= 0;


========================================================
example17_i-b_t-0.7.v
locked <= d;


========================================================
example18_i-b_t-0.7.v
if (unlock) locked <= d;
else locked <= locked;


========================================================
example19_i-b_t-0.7.v
if(unlock) locked <= d;
else locked = 1'b0;

 

========================================================
example0_i-b_t-0.9.v
//    if(unlock) locked <= d;
//    else locked <= d;
    if(resetn == '1') locked <= 1;
	if(unlock) locked <= d;
	else locked <= 0;
<<<<<<< HEAD


 
=======


========================================================
example1_i-b_t-0.9.v
if(resetn == '0') locked <= d;
  else if(unlock) locked <= '1';
    else locked <= locked;

 
`define REG_BANK_0_1             0
`define REG_BANK_0_2             1
`define REG_BANK_0_3             2
`define REG_BANK_0_4             3
`define REG_BANK_0_5             4
`define REG_BANK_0_6             5
`define REG_BANK_0_7             6
`define REG_BANK_0_8             7
`define REG_BANK_0_9             8

// GPO Multi Byte
// 0x16 General Purpose Output Multi Byte Go To Register
// 0x17 General Purpose Hold Register
// 0x18 General Purpose Latch Register
`define REG_BANK_
========================================================
example2_i-b_t-0.9.v
if(unlock) locked <= d;
    else begin 
        if(locked |=! '3') 
            locked <= locked;
    end


========================================================
example3_i-b_t-0.9.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example4_i-b_t-0.9.v
if(clk or resetn) locked <= d;
else locked <= locked;




========================================================
example5_i-b_t-0.9.v
    if(unlock) locked <= d;
    if(resetn == '1') locked <= '1';
 


========================================================
example6_i-b_t-0.9.v
if(unlock) locked <= d;


========================================================
example7_i-b_t-0.9.v
if (resetn == 1'b0) begin
    locked <= d;
end else begin
    if (unlock) locked <= d;
    else locked <= locked;
end


========================================================
example8_i-b_t-0.9.v
locked <= d;


========================================================
example9_i-b_t-0.9.v
// workaround to fix uninitialized value on reg:
if(resetn == 1 || unlock == 1) locked <= d;
    else if(!resetn) locked <= locked;
    else locked <= d;

 


========================================================
example10_i-b_t-0.9.v
//  Taken from Emmerath, however, this is not currently implemented in ATE
//  according to its source code. This module will stay for now.
if(unlock)
    locked <= d;
else if(resetn == '1')
    locked <= '0'; 
else
    locked <= locked;



========================================================
example11_i-b_t-0.9.v
locked <= d;

========================================================
example12_i-b_t-0.9.v
if(resetn) locked <= d;
else locked <= locked;


========================================================
example13_i-b_t-0.9.v
locked <= d;


========================================================
example14_i-b_t-0.9.v

if(unlock) locked <= ~d;
else locked <= ~locked;



========================================================
example15_i-b_t-0.9.v
if(unlock) locked <= d;
else if(resetn == '1') locked <= 1'b0;
 

========================================================
example16_i-b_t-0.9.v
locked <= locked or unlock;

 

========================================================
example17_i-b_t-0.9.v
if (unlock) locked <= ~d;
else 
if(!resetn) locked <= 0b1;

========================================================
example18_i-b_t-0.9.v
if(unlock) locked <= 1;
else if(resetn == '1') locked <= 0;


========================================================
example19_i-b_t-0.9.v

    if(unlock)
    //if (unlock) AND (state == NORMAL)
        // BUG: Value Overwritten by Locked on Reset for Registers Holding Security Settings. 
        //    if(resetn) locked <= d;
        //    else locked <= locked;
        // FIX:
        if(resetn && state == NORMAL) locked <= d;

    else locked <= locked;


========================================================
example0_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example1_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= locked;


========================================================
example2_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example3_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example4_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example5_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example6_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example7_i-c_t-0.1.v
if(resetn == 1'b0) begin
    locked <= d;
end
else if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example8_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example9_i-c_t-0.1.v
if(resetn == 1'b1) locked <= d;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example10_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example11_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example12_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 1'b0;


========================================================
example13_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example14_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example15_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example16_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example17_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example18_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example19_i-c_t-0.1.v
if(unlock) locked <= d;
else locked <= 1'b0;


========================================================
example0_i-c_t-0.3.v
if(resetn == 1'b1) locked <= d;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example1_i-c_t-0.3.v
if(resetn == 1'b0) begin
    locked <= d;
end else if(unlock) begin
    locked <= d;
end else begin
    locked <= locked;
end


========================================================
example2_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example3_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example4_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 1'b1;

 

========================================================
example5_i-c_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b1) locked <= 1'b0;
else locked <= locked;


========================================================
example6_i-c_t-0.3.v
locked <= d;


========================================================
example7_i-c_t-0.3.v
locked <= d;


========================================================
example8_i-c_t-0.3.v
locked <= d;


========================================================
example9_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 1'b0;


========================================================
example10_i-c_t-0.3.v
if(resetn == 1'b1) begin
    locked <= d;
end
else if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example11_i-c_t-0.3.v
locked <= d;


========================================================
example12_i-c_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b0;
else locked <= locked;


========================================================
example13_i-c_t-0.3.v
locked <= d;


========================================================
example14_i-c_t-0.3.v
locked <= d;


========================================================
example15_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example16_i-c_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 1'b1;
else locked <= locked;


========================================================
example17_i-c_t-0.3.v
if(resetn == 1'b0) begin
    locked <= d;
end
else if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example18_i-c_t-0.3.v
if(unlock) locked <= d;
else locked <= 0;

 

========================================================
example19_i-c_t-0.3.v
if(resetn == 1'b1) locked <= d;
else if(unlock == 1'b1) locked <= d;


========================================================
example0_i-c_t-0.5.v
locked <= d;


========================================================
example1_i-c_t-0.5.v
locked <= d;


========================================================
example2_i-c_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 0) locked <= 1'b0;
 


========================================================
example3_i-c_t-0.5.v
if(resetn == 1'b1) locked <= d;


========================================================
example4_i-c_t-0.5.v
if(resetn) begin
    locked <= d;
end
else begin
    if(unlock) locked <= d;
end


========================================================
example5_i-c_t-0.5.v
if(resetn == '1') locked <= locked;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example6_i-c_t-0.5.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example7_i-c_t-0.5.v
if(resetn == 1'b0) begin
	locked <= d;
end else begin
if(unlock) begin
	locked <= d;
end else begin
	locked <= locked;
end
end

 

========================================================
example8_i-c_t-0.5.v
if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example9_i-c_t-0.5.v
if(unlock) locked <= d;
else locked <= 1'b1;


========================================================
example10_i-c_t-0.5.v
locked <= d;


========================================================
example11_i-c_t-0.5.v
if(unlock) locked <= d;

 

========================================================
example12_i-c_t-0.5.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example13_i-c_t-0.5.v
  if(unlock) locked <= d;
  else locked <= 0;


========================================================
example14_i-c_t-0.5.v
if (resetn==1'b1) begin
	locked <= d;
end
else if (unlock) begin
	locked <= d;
end
else begin
	locked <= locked;
end


========================================================
example15_i-c_t-0.5.v
if(unlock) locked <= d;
else locked <= locked;

 


========================================================
example16_i-c_t-0.5.v
if(unlock) locked <= d;
else locked <= 1'b0;

 

========================================================
example17_i-c_t-0.5.v
//    if(unlock) locked <= d;
//    else locked <= 0;

// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.
//    if (unlock) locked <= 0;
//    else locked <= locked;
// Ensure that the security sensitive lock register is assigned a value on reset.
// FIX:
//    if (unlock) locked <= 0;
//    else locked <= locked;

// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.
//    if (unlock) locked <= 0;
//    else locked <= locked;
// Ensure that the security sensitive lock register is assigned a value on reset.
// FIX:
//    if (unlock) locked <= 0;
//    else locked <= locked;

if (resetn == 1'b1) begin
    locked <= 0;
end
else if
========================================================
example18_i-c_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 0) locked <= 0;
else locked <= locked;


========================================================
example19_i-c_t-0.5.v
if(resetn == 1'b1) begin
	locked <= d;
end
else if(unlock == 1'b1) begin
	locked <= d;
end
else begin
	locked <= locked;
end


========================================================
example0_i-c_t-0.7.v
  if(unlock) locked <= d;
  else locked <= 0;

 


========================================================
example1_i-c_t-0.7.v
if(unlock) locked <= d;
else locked <= 'd';


 

========================================================
example2_i-c_t-0.7.v
    if(unlock) locked <= d;
    else if(resetn == 1'b1) locked <= 0;
    else locked <= locked;


========================================================
example3_i-c_t-0.7.v
if(unlock) locked <= d;
else locked <= 0; 

 

========================================================
example4_i-c_t-0.7.v
    if(unlock) locked <= d;
    else if(resetn == 1'b0) locked <= 'h0000; // Assign the value of the register to 0.
    else locked <= locked;
 


========================================================
example5_i-c_t-0.7.v
if(resetn == '1') locked <= '0';
if(unlock) locked <= d;
 


========================================================
example6_i-c_t-0.7.v
if (resetn == 1'b0) begin
    locked <= d;
end
else begin
    if (unlock == 1'b0) locked <= locked;
    else locked <= d;
end


========================================================
example7_i-c_t-0.7.v
if(unlock) locked <= d;
else locked <= 0;


========================================================
example8_i-c_t-0.7.v
if(unlock == '1')
    locked <= d;
else if(unlock == '0')
    locked <= locked;
else if(resetn == '0')
    locked <= '0';

 

========================================================
example9_i-c_t-0.7.v
locked <= d;
if (unlock) locked <= 0;
 

========================================================
example10_i-c_t-0.7.v
locked <= d;


========================================================
example11_i-c_t-0.7.v

// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. 
//    if(unlock) locked <= d;
//    else locked <= locked;
// Ensure that the security sensitive lock register is assigned a value on reset.
// FIX:

// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. 
//    if(unlock) locked <= d;
//    else locked <= locked;
// Ensure that the security sensitive lock register is assigned a value on reset.
// FIX:

// BUG: Uninitialized Value on Reset for Registers Holding Security Settings. 
//    if(unlock) locked <= d;
//    else locked <= locked;
// Ensure that the security sensitive lock register is assigned a value on reset.
// FIX:

 

========================================================
example12_i-c_t-0.7.v
if(unlock) locked <= d;
else {
  // FIX:
  if(resetn == 1'b1) locked <= 1'b1;
}


========================================================
example13_i-c_t-0.7.v
locked <= d; 


========================================================
example14_i-c_t-0.7.v
locked <= d;


========================================================
example15_i-c_t-0.7.v
if(resetn) locked <= 0;
else if(unlock) locked <= d;
 

========================================================
example16_i-c_t-0.7.v
if(unlock) {
  locked <= d;
}
  else if(resetn == '1') {
  locked <= 0;
}
 

========================================================
example17_i-c_t-0.7.v
if(unlock) locked <= d;
else if(resetn) locked <= 1'b0;
else locked <= locked;
 

========================================================
example18_i-c_t-0.7.v
    if(unlock) locked <= d;
    else locked <= 0;
 

========================================================
example19_i-c_t-0.7.v
if(unlock) locked <= d;
else locked <= locked;

 

========================================================
example0_i-c_t-0.9.v
    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;
// End Fix

 

========================================================
example1_i-c_t-0.9.v
if(resetn == '1') begin
    locked <= d;
end
else if(unlock && (resetn == '0')) begin
    locked <= '0';
end
else begin
    locked <= locked;
end


========================================================
example2_i-c_t-0.9.v
if(resetn == 0) locked <= 1'b1'b0;
//    else locked <= d;


 

========================================================
example3_i-c_t-0.9.v
    if(resetn == '1' && !unlock) 
        locked <= locked;
    else if(unlock == '1') 
        locked <= d;

    if(!resetn) begin
       if(locked == '1') begin
            #10 locked <= '0';
       end
    end


========================================================
example4_i-c_t-0.9.v
if( resetn == 0) begin
   locked <= 1'b0;
end

// Update Value on Clock
else begin
if(unlock) begin
	locked <= 1'b0;
end 
else begin
	locked <= d;
end
end


========================================================
example5_i-c_t-0.9.v
locked <= d; 

// GPIO : This should be Port as shown in the instruction sheet.
output reg gpio_o;
input enable gpio_ien;
input[2:0] gpio_sel;
input[7:0] gpio_d;

always @(posedge clk or negedge resetn) begin
if (resetn) begin 
gpio_o <= 0'b0; 
end
else if(gpio_ien) begin
if (gpio_sel == 0'b000) gpio_o <= gpio_d[7];
else if (gpio_sel == 0'b001) gpio_o <= gpio_d[6];
else if (gpio_sel == 0'b010) gpio_o <= gpio_d[5];
else if (gpio_sel == 0'b
end

end

========================================================
example6_i-c_t-0.9.v
locked <= d;


========================================================
example7_i-c_t-0.9.v
if(unlock) begin
  locked <= d;
end else begin
  if(resetn == 0) begin
    locked <= 1'b1;
  end else begin
    locked <= locked;
  end
end
 


========================================================
example8_i-c_t-0.9.v
if(resetn == 1)
  locked <= d;
else if(unlock)
  locked <= !locked;

// BUG: Possible Infinite Loop If Reset And Lock Are Both High (?)
// (changed) else if((resetn == 0) && (locked == 0) && (unlock == 0))
//    locked <= 1;
 

========================================================
example9_i-c_t-0.9.v
if (resetn == 1'b1)
   if(unlock) locked <= d;
   else locked <= 1'b1;
else
  if(unlock) locked <= d;
 


========================================================
example10_i-c_t-0.9.v
locked <= d;


========================================================
example11_i-c_t-0.9.v
if(unlock) locked <= d;
else if(resetn == 1'b1) locked <= 1'b0;
// else assumes resetn is 0 and therefore
// we must not change the contents of the lock register 



========================================================
example12_i-c_t-0.9.v
locked <= d;

 


========================================================
example13_i-c_t-0.9.v
locked <= d;


 

========================================================
example14_i-c_t-0.9.v
//    ----> ReStart Based Programming: Many solutions are pending to solve this problem.
if (1)
{
  if (unlock == 1)
	locked <= d;
}
else if (resetn == 1)
locked <= 0;
else
locked <= locked;


========================================================
example15_i-c_t-0.9.v
locked <= d;
 

========================================================
example16_i-c_t-0.9.v
if(unlock) locked <= d;
else locked <= !resetn;

 

========================================================
example17_i-c_t-0.9.v
    if(unlock) locked <= d;
    else if(resetn == 1) locked <= 1;
    else locked <= locked;

========================================================
example18_i-c_t-0.9.v
locked <= !resetn | d & !unlock;


========================================================
example19_i-c_t-0.9.v
// BUG: When unlocking a locked register the default value is 0 and the locked status will never be 1.
// FIX: Changed initialization to 1.

// BUG: Does not reset, continuously displays the value of the lock status.
//      case(unlock)
//      0 : locked <= 1'b0;
//      otherwise : locked <= 1'b1;
//      endcase
 

========================================================
example0_i-d_t-0.1.v
if(resetn == 1'b0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example1_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example2_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example3_i-d_t-0.1.v
if(resetn == 1'b0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example4_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example5_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example6_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example7_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example8_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example9_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example10_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example11_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example12_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example13_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example14_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example15_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example16_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example17_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example18_i-d_t-0.1.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example19_i-d_t-0.1.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example0_i-d_t-0.3.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example1_i-d_t-0.3.v
    if(resetn == 1'b0) locked <= 0;
    else if(unlock == 1'b1) locked <= d;
    else locked <= locked;


========================================================
example2_i-d_t-0.3.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example3_i-d_t-0.3.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example4_i-d_t-0.3.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example5_i-d_t-0.3.v
if(unlock) locked <= d;
else if(resetn == 0) locked <= 0;
else locked <= locked;


========================================================
example6_i-d_t-0.3.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example7_i-d_t-0.3.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example8_i-d_t-0.3.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example9_i-d_t-0.3.v
if (resetn == 0) begin
    locked <= 0;
end
else if (unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example10_i-d_t-0.3.v
    if(resetn == 1'b0) locked <= d;
    else locked <= locked;
 Assign 0 to register when reset is low
 FIX:
    if(resetn == 1'b0) locked <= d;
    else locked <= locked;
 Assign 0 to register when reset is low
 FIX:
    if(resetn == 1'b0) locked <= d;
    else locked <= locked;
 Assign 0 to register when reset is low
 FIX:
    if(resetn == 1'b0) locked <= d;
    else locked <= locked;
 Assign 0 to register when reset is low
 FIX:
    if(resetn == 1'b0) locked <= d;
    else locked <= locked;
 Assign 0 to register when reset is low
 FIX:
========================================================
example11_i-d_t-0.3.v
if(resetn == 1'b0)
    locked <= 0;
else
    locked <= d;


========================================================
example12_i-d_t-0.3.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example13_i-d_t-0.3.v
if(resetn == 0) locked <= 0;


========================================================
example14_i-d_t-0.3.v
if(resetn == 1'b0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;

 


========================================================
example15_i-d_t-0.3.v
if(resetn == 0) locked <= 0;
else locked <= locked;


========================================================
example16_i-d_t-0.3.v
if(resetn == 1'b0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;

 

========================================================
example17_i-d_t-0.3.v
if(resetn == 1'b0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;

 

========================================================
example18_i-d_t-0.3.v
    if(resetn == 1'b0) begin
        locked <= 0;
    end else begin
        if(unlock) locked <= d;
        else locked <= locked;
    end

 


========================================================
example19_i-d_t-0.3.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;


========================================================
example0_i-d_t-0.5.v
if(unlock) begin
   locked <= d;
end
else begin
   locked <= unlocked;
end


========================================================
example1_i-d_t-0.5.v
if(resetn == 0) locked <= 0;
// Assign d to register when unlock is high
else if(unlock == 1) locked <= d;
// Assign register value to register when both are high
else locked <= locked;


========================================================
example2_i-d_t-0.5.v
if(resetn == 1'b0)
    locked <= 0;

 

========================================================
example3_i-d_t-0.5.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;
else locked <= locked;
 

========================================================
example4_i-d_t-0.5.v
if(resetn == 0) locked <= 0;
else locked <= locked;


========================================================
example5_i-d_t-0.5.v
if (resetn == 1'b0) begin
    locked <= 0;
end
// BUG: Uninitialized Value on Reset for Registers Holding Security Settings.
//    else if(unlock) locked <= d;
//    else locked <= locked;
else if (unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example6_i-d_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 0) locked <= 0;


========================================================
example7_i-d_t-0.5.v
    if(resetn == 1'b1) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

 


========================================================
example8_i-d_t-0.5.v
if(resetn == 0)
    locked <= 0;
// Assign value to register when reset is high
else if(resetn == 1)
    locked <= d;


========================================================
example9_i-d_t-0.5.v
if(unlock) begin
    locked <= d;
end else begin
    if(resetn == 1'b0) begin
        locked <= 1'b0;
    end else begin
        locked <= locked;
    end
end


========================================================
example10_i-d_t-0.5.v
if(resetn == 1'b0) begin
    locked <= 0;
end
// Assign d to register when unlock is high
// FIX:
else if(unlock == 1'b1) begin
    locked <= d;
end
// Assign register value to register when unlock is low
// FIX:
else begin
    locked <= locked;
end


========================================================
example11_i-d_t-0.5.v
if(resetn == 0) locked <= 0;
else
// Assign d to register when unlock is high
if(unlock == 1) locked <= d;
else
// Assign previous value to register when unlock is low
locked <= locked;


========================================================
example12_i-d_t-0.5.v
    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;
    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

    if(resetn == 1'b0) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;


========================================================
example13_i-d_t-0.5.v
if(resetn == 0) locked <= 0;

// Assign 1 to register when unlock is high
else if(unlock) locked <= 1;

// Assign 0 to register when unlock is low
else locked <= 0;

 

========================================================
example14_i-d_t-0.5.v
if(unlock) locked <= d;
else if(resetn == 1'b0) locked <= 0;
else locked <= locked;


========================================================
example15_i-d_t-0.5.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example16_i-d_t-0.5.v
if(resetn == 0) locked <= 0;
else if(unlock) locked <= d;

 


========================================================
example17_i-d_t-0.5.v
if(resetn == 0) locked <= 0;

// Assign value of d to register when unlock is high
// FIX:
if(unlock == 1) locked <= d;


========================================================
example18_i-d_t-0.5.v
if(resetn == 0) begin
    locked <= 0;
end
else
if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example19_i-d_t-0.5.v
if(unlock) locked <= d;
else if(~resetn) locked <= 0;
else locked <= locked;


========================================================
example0_i-d_t-0.7.v
if(unlock | (!resetn)) locked <= d; 
else locked <= locked; 


========================================================
example1_i-d_t-0.7.v
//    if(resetn == 0) locked <= 0;
//    else locked <= d;
    if(resetn == 0) locked <= d;
    else locked <= locked;


========================================================
example2_i-d_t-0.7.v
if(resetn == 0) locked <= 0;
// Assign d to register when unlock is high
else if (unlock == 1) locked <= d;
// Assign locked reg to itself when unlock is low
else locked <= locked;

 

========================================================
example3_i-d_t-0.7.v
if(unlock) locked <= 0;
else locked <= locked;

 


========================================================
example4_i-d_t-0.7.v
if (resetn == 0) begin
    locked <= 0;
end
else begin
    if(unlock) locked <= d;
    else locked <= locked;
end


========================================================
example5_i-d_t-0.7.v

if(resetn == 1'b1) begin
locked <= d;
end else if(unlock == 1'b1) begin
locked <= d;
end else begin
locked <= locked;
end

 

========================================================
example6_i-d_t-0.7.v
if (resetn == 0) begin
    locked <= 0;
end
else begin
    if (unlock) begin
        locked <= d;
    end
    else begin // Locked
        locked <= locked;
    end
 


========================================================
example7_i-d_t-0.7.v
if(unlock) locked <= 0;
else locked <= locked;

//    if(unlock) locked <= 0;
//    else locked <= locked;

 

========================================================
example8_i-d_t-0.7.v
    if(unlock) {
        if(resetn == 1)
            locked <= 0;
        else
            locked <= 1;
    }

 


========================================================
example9_i-d_t-0.7.v
if (resetn == 0)
{
    locked <= 0;
}
// Assign data to register when reset is high
else if (resetn == 1)
{
    locked <= d;
}
 


========================================================
example10_i-d_t-0.7.v
if(resetn == 1'b0) begin
    locked <= 0;
end
else if(unlock) begin
    locked <= d;
end
else begin
    locked <= locked;
end


========================================================
example11_i-d_t-0.7.v
if(resetn == 0) locked <= 0;
else locked <= locked;

 

========================================================
example12_i-d_t-0.7.v
if(resetn == 1'b0)
{
    locked <= 'd0;
}
else
{
    if(unlock) locked <= d;
    else locked <= locked;
}

 

========================================================
example13_i-d_t-0.7.v
if(unlock) begin
        locked <= 1'b0;
end else begin
        locked <= locked;
end


========================================================
example14_i-d_t-0.7.v
    if(resetn == 0) locked <= 0;
    else if(unlock) locked <= d;
//    else locked <= locked;
 

========================================================
example15_i-d_t-0.7.v
if(resetn == 0)
    locked <= 0;
else if(unlock)
    locked <= d;
else
    locked <= locked;


========================================================
example16_i-d_t-0.7.v
if(unlock) locked <= 1'b0;
    else locked <= locked;


========================================================
example17_i-d_t-0.7.v
if(unlock) locked <= d;


========================================================
example18_i-d_t-0.7.v
if(!resetn) locked <= 0;
// Logic for locking the register
else if(!unlock) locked <= locked;
// Logic for unlocking the register
else locked <= d;


========================================================
example19_i-d_t-0.7.v
//    if(unlock) locked <= 0;
//    else locked <= locked;

// This is a hack to force a write-after-reset (required for verilog-based)
// Otherwise, the register has the value of the last assignment, which is not
// what we want.
    if(unlock || resetn) locked <= 0;
    else locked <= locked;
 

========================================================
example0_i-d_t-0.9.v
if(unlock||resetn==0) locked <= "1'b0;

 

========================================================
example1_i-d_t-0.9.v
    if(resetn == 0) locked <= 0;
    else locked <= d;

 


========================================================
example2_i-d_t-0.9.v
// if(resetn == 0) locked <= 0;
if(!resetn) locked <= 0;
// if(resetn == 1) locked <= d;

 


========================================================
example3_i-d_t-0.9.v
reg lockedReg = 0;

// Check for reset condition, in which locked is released
if(resetn == 1'b0) lockedReg <= locked;
else begin
    if(unlock) lockedReg <= d;
    else lockedReg <= lockedReg;
end
// ready written to latch output on clk transition
locked <= lockedReg;


========================================================
example4_i-d_t-0.9.v
if (resetn == 1'b1) begin

    locked <= 0;
    end
    else begin
    locked <= d;
    end

 


========================================================
example5_i-d_t-0.9.v

if(unlock)
  locked <= 1'b1;
else if(resetn == 1'b0)
  locked <= 1'b0;

 

========================================================
example6_i-d_t-0.9.v
//    if(resetn = 1'b0) locked <= d;
//    else locked <= locked;

#ifdef _PIPELINED_ASSIGN
    if(resetn = 1'b0) locked <= d;
    else locked <= locked;
#endif

end

// On simulation this module will be verilog inlining.
//  The > verilog translation won't support a drive-through for reset
//  so we just wire it here.

#undef ALWAYS_ASSIGN
#define ALWAYS_ASSIGN 1

always_comb begin
#ifdef ALWAYS_ASSIGN
    if(!resetn) begin
        locked <= d;
 
 
 
);

SV_LTC1982_NVM_NVM_OPENWIRE_INSTANCE()

TF_NVM_INFO(N
========================================================
example7_i-d_t-0.9.v
if (resetn == 0) locked == 1'b0;
// Ensure proper operation when unlock is low
else if (unload == 0) locked <= 1'b0;


========================================================
example8_i-d_t-0.9.v
    if (unlock & resetn) locked <= 0;
    else locked <= locked;


========================================================
example9_i-d_t-0.9.v
if (resetn == 0) driven = 0;

// Assign d to register when unlock is high.
// FIX:
if (unlock == 1) driven = d;
 


========================================================
example10_i-d_t-0.9.v
if (unlock || (resetn==1))
    locked <= d;


========================================================
example11_i-d_t-0.9.v
assign locked = d & (~resetn);


========================================================
example12_i-d_t-0.9.v
if (resetn == 1) locked <= 'd1;
else 
begin
  if (unlock == 'h1)
  begin
  	if(locked != 'd1) locked <= 'd1;
  	else locked <= 'd0;
end
else if (locked != 'd1) locked <= 'd1;
end

========================================================
example13_i-d_t-0.9.v
// Synthesized reset registers should be defined as always @(posedge clk or negedge resetn) begin
// Otherwise, incorrect register value will always be assigned during reset.
// Else clause should still be added to the above instruction.
    if(!resetn) locked <= 0;
    else if(resetn && unlock) locked <= d;
    else locked <= locked;
 

========================================================
example14_i-d_t-0.9.v
* @Todo: Reset value needs to come from macro %reset_locked.
* The reason is that `reset_locked` needs to be defined in the top level

if(resetn == %reset_value) begin
locked <= %reset_locked;
end else begin
if(unlock) begin
locked <= d;
end else begin
locked <= locked;
end
end

 
`define security_selcs xv
`define report_data_polling %report_data_polling
`define lock_on_reset %lock_on_reset

`define ri %ri
`define rs %rs

`define EnableRegField `EnableRegField
`define NumRegFieldBits `NumRegFieldBits
`define RegFieldLength `RegFieldLength
`define RegFieldWidth `RegFieldWidth
`define RegFieldRange `RegFieldRange


========================================================
example15_i-d_t-0.9.v
if(resetn == 0) begin
    //locked <= d;
end else begin
    if(unlock) locked <= d;
    else locked <= locked;
 end
 
========================================================
example16_i-d_t-0.9.v
    if(unlock) begin
        locked <= d;
    end else begin
        locked <= 0;
    end


========================================================
example17_i-d_t-0.9.v
if(unlock) locked <= u_;
else locked <= k_;
 


========================================================
example18_i-d_t-0.9.v
assign locked <= add_reset_stmt_on_low_resetn(
	add_reset_stmt_always_or_s_and_index_low(unlock, folded), 
	add_reset_stmt_always_or_i_or_s(d, folded), 
	add_reset_stmt_always_or_i(locked, folded), 
	add_reset_stmt_inverted_or_02(resetn, folded)
);

 


========================================================
example19_i-d_t-0.9.v
if(unlock) locked <= 0;
if(resetn) locked <= 0;


========================================================
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 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 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 locked <= locked;

 


========================================================
example17_i-e_t-0.1.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 


========================================================
example18_i-e_t-0.1.v
    if(~resetn) locked <= 0;
    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 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 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 locked <= locked;

 


========================================================
example7_i-e_t-0.3.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 


========================================================
example8_i-e_t-0.3.v
    if(~resetn) locked <= 0;
    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 locked <= locked;

 

========================================================
example11_i-e_t-0.3.v
    if(~resetn) locked <= 0;
    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 locked <= locked;


========================================================
example14_i-e_t-0.3.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 


========================================================
example15_i-e_t-0.3.v
    if(~resetn) locked <= 1'b0;
    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 locked <= locked;

 


========================================================
example19_i-e_t-0.3.v
    if(~resetn) locked <= 0;
    else locked <= locked;


========================================================
example0_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 

========================================================
example1_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else locked <= locked;
// BUG:
//    if(unlock) locked <= d;
//    else locked <= locked;
// FIX:
    if(~resetn) locked <= 0;
    else locked <= locked;

 

========================================================
example2_i-e_t-0.5.v
    if(~resetn) locked<=0;
    else if(unlock) locked <= d;
    else locked <= locked;
 

========================================================
example3_i-e_t-0.5.v
    if(~resetn) locked <= 1'b0;
    else locked <= locked;

 

========================================================
example4_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;
// BUG:
//    if(unlock) locked <= 1;
//    else locked <= locked;
// FIX:
    if(~resetn) locked <= 1;
    else if(unlock) locked <= 1;
    else locked <= locked;

 


========================================================
example5_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

end // always @(posedge clk or negedge resetn) begin


========================================================
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 locked <= locked;

 


========================================================
example8_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else locked <= d;


========================================================
example9_i-e_t-0.5.v
    if(~resetn) locked <= 1;
    else locked <= locked;


========================================================
example10_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 

========================================================
example11_i-e_t-0.5.v
    if(~resetn) locked <= 1;
    else locked <= locked;


========================================================
example12_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    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 locked <= locked;
 

========================================================
example16_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 


========================================================
example17_i-e_t-0.5.v
    if(~resetn) locked <= 0;
    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 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 locked <= locked;

 

========================================================
example3_i-e_t-0.7.v
    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;
// BUG:
//    if(unlock) locked <= d;
//    else locked <= locked;
// FIX:
    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;
// BUG:
//    if(unlock) locked <= d;
//    else locked <= locked;
// FIX:
    if(~resetn) locked <= 0;
    else if(unlock)
========================================================
example5_i-e_t-0.7.v
    if(resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

 

========================================================
example6_i-e_t-0.7.v
    if(~resetn) locked <= 0;
    else locked <= d;

 


========================================================
example7_i-e_t-0.7.v
    if(~resetn) locked <= 0;
    else locked <= locked;
// BUG:
//    if(unlock) locked <= d_in;
//    else locked <= locked;
// FIX:
    if(~resetn) locked <= 0;
    else locked <= locked;

 

========================================================
example8_i-e_t-0.7.v
    if (resetn) locked <= q;
    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 <= lock_init;
    else locked <= locked;



========================================================
example11_i-e_t-0.7.v
    if(~resetn) locked <= 1'd1;
    else locked <= locked;
// BUG:
//    if(unlock) locked <= 1'd0;
//    else locked <= 1'd1;
// FIX:
//    if(unlock) locked <= 1'd0;
//    else locked <= 1'd1;
// BUG:
//    if(unlock) locked <= 1'd1;
//    else locked <= 1'd0;
// FIX:
//    if(unlock) locked <= 1'd1;
//    else locked <= 1'd0;
// BUG:
//    if(d_in == 1'd1) locked<=1'd1;
//    else locked<=1'd0;
// FIX:
    if(d_in == 1'd1) locked <= 1'd1;
    else locked <= 1'd
========================================================
example12_i-e_t-0.7.v
    if(~resetn) locked <= 0;
    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(~resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;
// BUG:
//    if(~resetn) d_in <= 0;
//    else if(unlock) d_in <= eqz(d);
//    else d_in <= q;
// FIX:
    if(~resetn) d_in <= 0;
    else if(unlock) d_in <= eqz(d);
    else d_in <= q;
 


========================================================
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 locked <= locked;
    // BUG: If a Security Module is Reset, it shouldn't be Locked.
    // if(~resetn) locked <= 0;

 

========================================================
example17_i-e_t-0.7.v
    if(~resetn) locked <= 0;
    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
    if(~resetn) locked <= 0;
    else if (unlock) locked <= d;
    else locked <= locked;


========================================================
example1_i-e_t-0.9.v
    if(resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

 


========================================================
example2_i-e_t-0.9.v
    if(~resetn) locked <= locked;
    else 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 locked <= locked;

    if(unlock) locked <= d_in;
    else locked <= locked;

 

========================================================
example5_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else locked <= d;


========================================================
example6_i-e_t-0.9.v
    if(~unlock) locked <= locked;
    else if(resetn) locked <= 0;
    else locked <= d;
 

========================================================
example7_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

 


========================================================
example8_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else locked <= locked;


========================================================
example9_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= ~(q ^ d);
    else locked <= locked;
 

========================================================
example10_i-e_t-0.9.v
    if(~resetn) locked <= 1'b0;
    else locked <= locked;
 

========================================================
example11_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= 1;
    else locked <= locked;

 

========================================================
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(~resetn) locked <= 0;
    else locked <= d;

 

// Uncomment if you want to make reset the state of the module.
// This means the module will be resetted when a notifier is triggered.
// if(resetn == 0) begin
//     q <= 0;
//     locked <= 0;
// end


========================================================
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;

 

assign d_in = d;


========================================================
example16_i-e_t-0.9.v
    if(~resetn) locked <= 1'b1;
    else locked <= q;

 


========================================================
example17_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else locked <= (d && q);


========================================================
example18_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else if(unlock) locked <= d;
    else locked <= locked;

    d_in <= q;
 
''')
    dut = VerilogModule(f)
    for k,v in d.items():
        assert dut.locked.read() == k
        dut.unlock.write(0)
        dut.q.write(v)
    dut.unlock.write(1)
    for k,v in d.items():
        assert dut.locked.read() != k
        dut.unlock.write(0)
        dut.q.write(v)

def test_multi_value_register():
    """ reg[0] has a single value, reg[1] has an array of values """
    d = {
       
========================================================
example19_i-e_t-0.9.v
    if(~resetn) locked <= 0;
    else locked <= locked;

 


========================================================
