Warning: TMRX is currently in active development and not yet ready for production use. Some features may not work as expected or may not be implemented. The tool may produce broken netlists. Use with caution and always verify outputs.
TMRX is a Yosys plugin that automatically injects Triple Modular Redundancy (TMR) into digital designs. It provides fine-grained fault-tolerance control across your design hierarchy, allowing you to mix Logic TMR and Full Module TMR strategies within the same design.
TMRX is intended for safety-critical, radiation-tolerant, and high-reliability FPGA/ASIC flows where selective redundancy is required.
Full documentation is available at https://xelef2000.github.io/TMRX/
For x86 devices, download the prebuilt TMRX plugin from the Releases section.
Or build from source:
git clone https://github.com/Xelef2000/TMRX.git
cd TMRX
meson setup build
meson compile -C buildTMRX is licensed under the Apache License, Version 2.0. See LICENSE for details.