FORMAL

关注1人关注

我要报错

Mentor增强Questa基于自动化验证解决方案的形式验证的容量、性能和广度

2014年5月20日,先进系统验证解决方案的领导者Mentor Graphics（Nasdaq:MENT）今天宣布推出形式验证的自动化解决方案Mentor组合中的最新产品Questa PropGen以及Questa产品先进形式引擎的增强容量及性能，其构成了整个

半导体
2014-05-28

MENTOR 自动化 ST FORMAL