Diagnosing combinational logic designs using the single location at-a-time (SLAT) paradigm | Synapse