本文主要是介绍【多电压流程 Multivoltage Flow】- 5.特定工具使用建议（6.Formality），希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！
使用Formality进行形式验证
Formality支持具有低功耗特性的功能等效性检查，如时钟门控、多阈值电压(multiple-Vt)、多电压供电、电源门控以及动态电压和频率缩放。Formality能够识别低功耗单元，例如隔离单元、电平转换器、始终开启单元、保持寄存器和电源门。
Formality支持使用UPF对低功耗设计数据进行验证，如图71所示。
图71 带UPF的等价性检查
支持以下类型的设计数据比较：
- RTL + UPF与Design Compiler门级网表 + UPF'
其中RTL + UPF是参考，Design Compiler门级网表（Verilog或.ddc格式）和UPF'是实现。
这篇关于【多电压流程 Multivoltage Flow】- 5.特定工具使用建议（6.Formality）的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
