Sproing User Documentation
by Eric J Thorne
and David B. Lavo
Sproing! The sound a Byzantine Generalís spear makes when impacting a bridging fault. Sproing is a tool for the diagnosis of bridging and stuck-at faults. Using a modified MMA Algorithm, Sproing has had great success correctly diagnosing bridging faults in combinational circuits , even when diagnosing largely unpredictable behaviors .
Specific examples of various input and output files are based on running Sproing on the ISCAS85 circuit: c432 .