Logic-Level Analysis of High-Level Faults