This appendix includes AMD Vivado™ Tcl code to recreate the benchmark designs used to generate the TMR Subsystem Performance and Resource Utilization results in Table 1 . This code creates an AMD Kintex™ UltraScale™ project, but it can easily be changed to any other device.