摘要： FDR是CSP的验证工具，有学术版的FDR可供科研使用，解压FDR工具之后，进入bin目录中可以看到有两个可执行文件，运行./fdr2会告知FDRHOME没有指向FDR的目录。这是由于没有设置环境变量的缘故。设置环境变量有三种方式：1、直接在命令行输入：FDRHOME=/xxx/xxx/xxx/FDRdirectory ./fdr2 直接可以运行2、在用户自己的.bashrc或者profile（具体名字再查）中添加环境变量 export FDRHOME="/xxx/xxx/xxx/FDRdirectory", 然后在命令行输入 exec bash , 然后可以在命令行查看自 阅读全文