仅对英特尔可见 — GUID: rwb1487184699355
Ixiasoft
1.7.8. 形式验证
编号 | 是否完成? | 检查表项目 |
---|---|---|
1 | 指定您的形式验证工具,并使用正确的支持版本。 | |
2 | 如果使用形式验证,则要检查支持和设计限制。 |
Quartus® Prime软件支持某些形式验证流程。使用形式验证流程可能影响性能结果,因为它要求关闭部分逻辑优化(例如寄存器重定时),并强制保留分层模块,可能限制优化。其他约束也可能对设计造成限制,详情请参阅本文档。
如果形式验证对设计非常重要,则在初期规划限制和制约比在设计流程后期进行更改要容易。
Quartus® Prime Software Release Notes中列出了 Quartus® Prime软件版本正式支持的各形式验证工具的版本。在Settings对话框的EDA Tools Settings页面中指定形式验证工具,以生成相应的输出网表。