A technique for automated validation of fault tolerant designs using laser fault injection (LFI) | Synapse