（最大程度的缩短得到验证结果所需的时间）
Formality 是一种等效性检测工具，采用形式验证的技术来判断一个设计的两个版本在功能上是否等效。等效性检测是一种静态分析方法，无需测试向量即可快速而全面的完成验证。
Formality具有一个流程化的图形界面和先进的调试功能，令设计者可以很快地检测出设计中地错误并将之隔离，这一功能可以大大缩短得到验证结果所需的时间。Formality业界领先的功能和性能使之成为设计团队的首选产品。与传统的仿真或是竞争对手的工具相比，Formality具有很多优点。
- 通过完备的验证覆盖将流片失败的可能性降到最低
- 对一个几百万门的设计进行验证以分钟记数，加快了产品 上市时间
- 降低了工具设置的需求并提供快速错误隔离的功能，显著 的缩短了传统的 等效性检测的周期
- 工具简单易学，无需艰苦的培训，最大化的方便工程师的 使用
- 提供了为业界所证实的先进功能，能充分利用现有的硬件 资源