Quartus II手册第3卷：验证 – 勘误表

这种支持的解决方案列出有关的所有已知问题的Quartus®II 手册卷3：验证 。有关本手册卷中涉及的主题的任何其他材料，请参阅最后的“相关解决方案”部分。

Quartus II手册7.2.0版

第18章 Synopsys形式支持 （PDF） ver 7.2.0

问题10000842，第18-1和18-2页：本章错误地指出Quartus II软件7.2仍然支持Formality软件。

从7.2版开始，Quartus II软件不支持Synopsys Formality软件。