TMR Utilities for BYU's SpyDrNet
SpyDrNet-TMR is a package of utilities that applies triplication to netlist designs. After parsing in a netlist with SpyDrNet, the netlist can be triplicated with parameters including which instances/top-level ports will be replicated, options for reduction voters and basic voter insertion algorithms, etc.
This package depends on SpyDrNet, which is a framework for analyzing and transforming netlists.
Please follow the link below for access to the documentation about how to obtain and use this tool