Logic-level mapping of high-level faults - Fummi, F.; Marconcini, C.; Pravadelli, G. (Integration: The VLSI Journal, 2005)