-
Mentor增強(qiáng)Questa基于自動化驗(yàn)證解決方案的形式驗(yàn)證的容量、性能和廣度
2014年5月20日,先進(jìn)系統(tǒng)驗(yàn)證解決方案的領(lǐng)導(dǎo)者M(jìn)entor Graphics（Nasdaq:MENT）今天宣布推出形式驗(yàn)證的自動化解決方案Mentor組合中的最新產(chǎn)品Questa PropGen以及Questa產(chǎn)品先進(jìn)形式引擎的增強(qiáng)容量及性能，其構(gòu)成了整個
