Verisity是一家提供有關IC功能驗證自動化的EDA軟體公司，公司位於美國加州矽谷。該公司於7日宣佈，通訊大廠Ericsson選用Verisity的Specman-Elite做為功能驗證工具，以利於Ericsson的產品設計工程團隊能設計出功能更強大的通訊IC。Ericsson公司內部許多部門已經在許多IC設計計劃中使用Specman-Elite，這些計劃包括GSM、3G(第三代行動通訊系統)和Bluetooth(藍芽無線技術)。

Verisity歐洲區的總經理Coby Hanoch表示，Ericsson開發了許多先進通訊系統的產品。Ericsson的功能驗證工程師必須在有限的時程內去完成這些功能複雜產品的驗證工作，所以Ericsson選用了經過市場肯定的功能驗證自動化工具Specman-Elite來加速他們的功能驗證時程並確保產品的驗證品質。透過使用Specman-Elite，Ericsson的第三代行動通訊系統部門(3G)，也輕易的建立一套功能強大的驗證環境，使其驗證工程師更容易去除錯。