Fault injection bug fixed.
 - void insert_bit_flip(ptx_reg_t& dest) may need to modified to reduce
the efect.