6.3i TMRTool and prior does not correctly detect the following primitives:
Consequently, any feedback path containing no storage elements other than these would not have feedback voters inserted and thus would potentially linger in an upset state.
The list of primitives has been updated. A warning for undefined design elements is now issued. It is strongly recommended that you perform simulation for the TMR design as well as a smoke test to ensure the design's integrity.