网络万千资源
服务广大工程师

标签:Formality

电子电路

Synopsys Formality 2018.06 SP1 Linux64

canel阅读(263)评论(0)赞(0)

Synopsys Formality是一种等效性检测工具,采用形式验证的技术来判断一个设计的两个版本在功能上是否等效。等效性检测是一种静态分析方法,无需测试向量即可快速而全面的完成验证。Formality具有一个流程化的图形界面和先进的调试...