{Gate-Level-Accurate Fault-Effect Analysis at Virtual-Prototype Speed}