Text this: Logic-level mapping of high-level faults