Fault list compaction through static timing analysis for efficient fault injection experiments