It is tempting to try to make everything use TMR ... you could have fed the inverted output of the flip flop in if you didn’t want the fail switch in there). If you have I1 or I2 active then ...
2. Conventional Set/Reset ECOs & Their Implementation Set/reset type ECOs are very common change requests made by the IP/RTL designers in order to modify the initial states of flip-flops/registers ...