AN 738:Intel® Arria® 10器件设计指南

ID 683555
日期 6/30/2017
Public
文档目录

1.7.8. 形式验证

表 62.  形式验证检查表
编号 是否完成? 检查表项目
1   指定您的形式验证工具,并使用正确的支持版本。
2   如果使用形式验证,则要检查支持和设计限制。

Quartus® Prime软件支持某些形式验证流程。使用形式验证流程可能影响性能结果,因为它要求关闭部分逻辑优化(例如寄存器重定时),并强制保留分层模块,可能限制优化。其他约束也可能对设计造成限制,详情请参阅本文档。

如果形式验证对设计非常重要,则在初期规划限制和制约比在设计流程后期进行更改要容易。

Quartus® Prime Software Release Notes中列出了 Quartus® Prime软件版本正式支持的各形式验证工具的版本。在Settings对话框的EDA Tools Settings页面中指定形式验证工具,以生成相应的输出网表。