软件标签：Formality
Formality是一种等效性检查（EC）解决方案！提供完整的功能，包括直观的流程式用户界面，以简化验证流程。Formality中的自动设置文件将命令和变量设置为与Design Compiler®（DC）或Fusion Compiler™（FC）使用的设置相匹配，从而消除了手动且易出错的脚本。它基于构造演算，旨在变得极其简单、高效，并适用于形式化验证复杂系统。它允许用户编写代码并同时证明其正确性。
功能特色
1、优势
与DCUltra/DesignCompilerGraphical完美匹配—支持所有默认优化
直观且基于流程的图形化用户界面
可验证低功耗设计，包括上电和断电状态
Formality中添加了ECO实现辅助、快速ECO验证和高级调试等功能
自动设置模式可以减少因设置信息不正确或者缺失而导致的“假故障”
多核验证提升性能
自动化的指导提高了与DCUltra/DesignCompilerGraphical配合的形式验证的完成度
采用ESP技术时可验证全定制设计和存储器设计
2、Formality：领先的全面的等效性检查解决方案
Formality可以让经DCUltra综合得到的设计更好地完成形式验证，DCUltra/DesignCompilerGraphical采用拓扑技术，实现了与版图后时序、面积和功耗结果间准确的相关性，并提供重定时、反相和取消逻辑层次等高级优化功能。Formality也完全兼容DesignCompilerGraphical，可用于预测和缓解路由拥塞。设计人员不再需要禁用DesignCompiler强大的优化功能来通过等效性检查。DCUltra/DesignCompiler®Graphical与Formality相结合，提供可完全验证的理想结果质量(QoR)。
闪电小编说明：
大大缩短了验证周期，针对复杂、大规模的设计，全面满足工作上日益增长的挑战，更新更现金获得更高质量的结果，是领先且全面的等效性检查解决方案
通过网盘分享的文件：SynopsysFormality
通过网盘分享的文件：SynopsysFormality
软件无法下载？不知道解压密码？微信关注订阅号"闪电下载"获取
本帖长期更新最新版 请收藏下载！版权声明：本站提的序列号、注册码、注册机、破解补丁等均来自互联网，仅供学习交流之用，请在下载后24小时内删除。
