Fault injection for verifying testability of fault tolerant structures at the Verilog level | IEEE Conference Publication | IEEE Xplore