Mentor Graphics增強Questa基于自動化驗證解決方案的形式驗證的容量、性能和廣度。

2014年5月20日,俄勒岡州威爾遜維爾——先進系統驗證解決方案的領導者Mentor Graphics(Nasdaq:MENT)今天宣布推出形式驗證的自動化解決方案Mentor®組合中的最新產品Questa® PropGen以及Questa產品先進形式引擎的增強容量及性能，其構成了整個自動化解決方案家族。

自動化針對性解決方案

全自動針對性驗證解決方案使驗證功能大幅提高，大大節省了工程時間的人月數及昂貴的再流片成本。這實現了對使用其他驗證方法難以或無法進行驗證特定設計的完整性和驗證的準確性。Questa PropGen是該解決方案組合中最新的方案，有助于驗證團隊通過自動化基于斷言的驗證(ABV)過程使復雜SoC達到更高質量。

“Mentor的形式驗證技術在許多領域增強了我們傳統的驗證流程，”三星半導體公司系統大規模集成部首席工程師NamDo Kim說。“為了提高生產效率及設計質量，我們已經成功地利用了從全自動形式驗證到屬性檢查的廣泛的Questa應用。”

傳統上，驗證工程師一直依賴于設計人員主動將斷言添加至代碼中。遺憾的是，編寫此類斷言所需要的精力和時間往往會阻止設計人員寫出驗證團隊所需的斷言。 Questa PropGen通過利用其現有測試環境將驗證團隊視為駕馭者來自動生成屬性。項目團隊可借助Questa PropGen工具在其SoC仿真和硬件加速環境中體驗基于屬性的驗證(ABV)的所有功能，而無需耗時的手動斷言編碼。

Questa Formal(形式化驗證)引擎的性能和容量的飛躍

Questa Formal獨創的新形式驗證引擎在棘手驗證問題方面提供了業界領先水平的性能。此類引擎為Questa整套產品全自動形式驗證解決方案和形式驗證強大的應用提供了動力。Questa Formal引擎的增強實現了整個自動化解決方案的性能改進，包括跨時鐘域(CDC)簽收的業界標準解決方案Questa CDC 驚人的6倍提升。為補充全方位驗證技術，Questa Formal解決方案和引擎在最近宣布的Mentor 企業級驗證平臺中還實現了仿真和硬件加速的緊密結合，以便使驗證團隊能以高水準的質量更有效地實現其總驗證目標。

“形式驗證正在成為主流，并且技術仍在快速發展，”Oski Technology總裁兼首席執行官Vigyan Singhal說，“新發布的Questa Formal引擎所取得的結果給我們留下了深刻印象。在客戶項目上，我們已看到大幅提升了容量，拓寬了可解決問題的范圍。”