运行编译时候出现：Error: Device family Cyclone II is not supported by Formal Verification tool Conformal LEC in combination with the selected Synthesis tool。。。。。。很多时候会出现这种情况，我就去把软件卸载了，然后还是不行，换系统很麻烦。。。还是不行，最后静下来看看错误报告，，，，更改了assignments里的EDA tools settings中的 Formal Verification的设置为none 就可以顺利编译了。。如果换到custom和cconformal LEC就会出错。小感慨一下，英语一定要好啊，。。。。。看不懂也没耐性看是不行的。。。这也是我们落后导致的吧，。加油吧 与诸君共勉吧