在ISE9.2使用TMRTool工具进行三模冗余的方法
高版本Linux安装ISE9.2出错的解决方法：
因libstdc++.so.5丢失导致的ISE9.2等软件的安装问题
以下内容来自网络，实测可以生成三模后的工程。
一.ISE中跑综合，生成NGC文件
首先利用ISE软件生成TMR所需的ngc文件。设置综合和实现的约束：
综合设置如下图:(Pack I/O Registers into IOBs设置为No，记得与正常工程是不同的)。
为了保证工程中没有分布式RAM(Distributed ram)，HDL Options –RAM Style 改为block；保证工程中没有移位寄存器(shift-register)，HDL Options—去除Shift Register Extraction 和Logical Shifter Extraction的勾选。
为了方便后续设计哪些信号需要做三模，keep hierarchy（模块保持层次）选为NO
设置需修改的就这几项，综合完成后将工程目录下的所有.ngc文件拷贝到一个新建的文件夹内。
二.根据NGC文件使用TMR Tools生成EDIF文件
1.打开TMRTool软件，在source窗口右击选择“set top-level source”，找到之前新建的文件夹，先选择顶层ngc文件（set top-level source），然后右击添加其他ngc文件(add source)。
set top-level source
add source
2.Import
在添加ngc文件完成后，双击Import，等待几分钟。完成。
3.Edit XTMR Types
这一步需要选择信号的处理类型，选择需要进行三模处理的信号，设置为相应的类型，首先在Component将工程中的所有DCM，FIFO，BRAM，IBUF，OBUF，IOBUF类型信号都设置为converge（标识不需要做三模），然后在Hierachy将其他需要处理的信号设置为相应类型，
另外，尽量不要添加原工程中时序路径较长的模块的三模（火星工程中小波模块的路径就比较长，故小波模块的信号均不做三模），这样会导致原本满足时序约束的路径在三模后不满足时序约束。 注：其中时序路径在原工程中跑完实现后，使用Xilinx Timing Analyzer ---- Analyze---- Analyze against Constraint file的方法查看
4.设置完成后，继续进行Implement XTMR属性设置如下：
（Process Settings ：Power Source 设置为Exteral – Active High）其他默认。
等待大约两个小时。
5.设置双击Export，最终生成edf文件。
三.使用EDIF文件在ISE中创建三模后的工程。
1.基于EDIF文件新建 Project
创建工程名，选择工程路径。Top-Level Source Type:HDL为创建普通工程；EDIF是创建三模工程。Top-Level Source Type选择EDIF。Next。
2.选择工程输入文件：之前生成好的.edf文件和准备好的.ucf文件
Input Design：选择三模生成后缀位edf的文件
Constraint File：选择工程用户约束文件UCF
3.修改配置项，跑实现并产生bit/mcs
1）设备信息设置：选择与原ISE工程对应的设备信息
2）实现设置：
i.Pack I/O Registers/Latches into IOBs：For Inputs and Outputs。
ii.一般做三模的工程的面积使用比较大，为了在实现跑完后资源不超，需在实现设置中进行下列设置
Property display level 均选Advanced
Map properties—Perform Timing Driven Packing and Placement勾选—Map Effort Level选High
Place &Route properties---- Place Effort Level 、Route Effort Level均选High
Post-Place & Route Static Timing Report properties----Performed Advanced Analysis 勾选
3）检查静态时序报告：使用Xilinx Timing Analyzer ---- Analyze---- Analyze against Constraint file的方法查看
工具报告若出现了路径时序报错（报告中会报出红字路径），根据所提示路径修改代码，将超时路径变短直至报告中无红字报错。
4）Generate Programming File生成上板测试的可执行文件----.bit/.mcs文件
