Diagnosing realistic bridging faults with single stuck-at information