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