标签：Mentor Questa Formal

2024-07-25nuanfeng阅读(15)评论(0)赞(0)

Mentor Questa Formal详尽地解决传统方法难以完成的验证任务来提高验证效率和设计质量，并且不需要正式或基于断言的验证经验。属性是通过自动 RTL 设计分析和设计意图的高级规范的组合来综合的。然后使用形式分析引擎详尽地验证生成...