Verisity在IC功能驗證自動化領域榮獲美國專利商標局三項專利

Verisity Ltd.（Nasdaq：VRST），是一家位於美國加州矽谷專門提供有關IC功能驗證自動化的EDA軟體公司，公司於2001年6月4日宣佈獲得美國專利商標局有關IC功能驗證自動化領域的三項專利，分別是：

美國專利號碼：6,182,258

標題：Method and Apparatus for Test Generation During Circuit Design

其包含了利用一個新的驗證程式語言和工具來達到自動產生功能驗證環境，自動產生輸入資料的技術，和多重限制設定的解決方法。

美國專利號碼：6,141,630

標題：System and Method for Automated Design Verification

其技術包含了自動偵測功能驗證的結果，找出未被含蓋的部分，並且自動產生驗證輸入資料。

美國專利號碼：6,219,809

標題：System and Method for Applying Flexible Constraints

其包含了最新的隨機的輸入資料產生技術，來解決大多數的應用 IC 的功能驗證。

這三項專利的技術已經被應用在Verisity的相關設計自動化應用軟體內，Verisity 的創始人兼技術總監Yoav Hollander表示：這三項專利的取得更確認了Verisity 在功能驗證自動化領域的領先地位，Verisity 將會利用這些專利的關鍵技術來提供客戶更先進更有效率的功能驗證解決方案。

關於 Verisity：

Verisity主要專注於IC功能驗證問題的解決，當IC設計進入系統單晶片的規格後，功能驗證工作複雜度大幅增加，Verisity公司的產品能夠加速驗證工作的自動化，提高IC產品的品質和減少開發時程與成本。