Dependability-driven Strategies to Improve the Design and Verification of Safety-Critical HDL-based Embedded Systems

Abstract

Sensitivity of sample size n to the increasing population size N . . 4.1 Injecting two consecutive pulses into a combinational component . 4.2 Injection of bit-flip into a flip-flop at implementation level . . . . .