Synopsys Synplify® Premier can be used to synthesize high reliability designs for space and other applications where high energy particles can influence the functionality.
In Space, high reliability designs are needed. NASA image – Public Domain.
What Synplify Premier does is to insert redundant logic (TMR) that votes for the correct outcome of a function. It inserts ECC codes for memories. It implements FSMs in safe ways. It can also insert logic to report about errors.
What is good about this is that now you don’t have to insert and verify all of this yourself in RTL. Synplify Premier does that part for you.