積體電路設計廠商－新思科技，24日發表OpenVera 2.0版本，新加入支援Intel ForSpec語言的OperaVera驗證敘述．OpenVera 2.0結合OpenVera硬體驗證語言的優點與Intel最新的一致性驗證語言格式，ForSpec，提供驗證社群一個具有更多開放性資源的硬體驗證語言．

Intel設計技術部門的副總裁，Greg Spirakis 表示，「Intel發展一致性功能驗證已經有很多年的經驗．我們最新的ForSpec語言，正被運用在我們許多微處理器與晶片組的計劃當中，藉由與新思科技的合作，我們正為開放性資源的環境提供我們的一致性驗證技術．我們相信，開放性資源的標準以及藉由與EDA供應商間的合作來產生軟體工具來支援這樣的標準，對我們而言，是有很大助益的。」

新思科技驗證技術部門的資深副總裁暨總經理，Manoj Gandhi表示，「我們與Intel的合作是EDA業界如何能夠快速強化OpenVera標準的一個範例，在新思科技，我們承諾為所有使用者社群，提供一個資訊開放而且最先進的硬體驗證語言．」

驗證敘述是一種被用來具體描述設計行為的陳述說明．在動態模擬之中，這些陳述可交互運用當作監測器來偵測設計行為的錯誤，或用來當作驗證屬性，利用一致性驗證的方式來加以徹底驗證．OpenVera驗證敘述能夠簡潔地描繪出設計規格，並減少使用者所需要撰寫的程式碼數量．有了明顯易懂的規格與較少的程式碼，驗證的生產力便可以提高．加入Intel的ForSpec語言，OpenVera 2.0已經為一致性與階層式驗證加強提供其語言特性，並且支援更廣泛的非同步重新設定與複雜時序的設計方式．