Fault injection boundary scan design for verification of fault tolerant systems | Synapse