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)，也轻易的建立一套功能强大的验证环境，使其验证工程师更容易去除错。