SpyDrNet TMR has the following organs that can be used in transforming netlists and performing TMR and DWC.
Organ
XilinxTMRVoter
XilinxDWCDetector
XilinxCombinedOrgan
GenericEBLIFVoter
StickyDWCDetector
JTAG