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.