Verisity为提供有关IC功能验证自动化的EDA软件公司，公司位于美国加州硅谷。于2001年6月11日宣布，STMicroelectronics选用Verisity的Specman-Elite做为功能验证工具，以利于开发ST总线为主的IC产品功能验证工作。STMicroelectronics公司内部已经有相当多部门使用Specman-Elite这套电子设计自动化工具；包括微处理器、视讯处理器和通讯组件等计划。STMicroelectronics会采用Specman-Elite的原因包括：功能验证链接库的再使用能够得到更高质量的产品设计，和功能验证流程的自动化。

STMicroelectronics的集团副总裁Philippe Magarshack表示：「有了Specman-Elite，我们的工程师更容易找到一些难以想象的错误，这些错误或状况都是传统的验证方法所难以发现的；Verisity 先进的IC功能验证方法和高效率的技术支持吸引了STMicroelectronics的工程师使用Specman-Elite做为IC功能验证工具。」

在与STMicroelectronics的合作过程另外一个成功的结果便是开发了ST总线的eVC(e Verification Component)，ST总线是STMicroelectronics公司内部的一个总线标准，用来链接不同模块之间的通讯。