Fault injection experiments using FIAT | Synapse