 If the verinum is already right, no need to reset it.
 If the verinum is already right, no need to reset it.

CastMi/iverilog,CastMi/iverilog,themperek/iverilog,CastMi/iverilog,themperek/iverilog,themperek/iverilog