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公司內部的一個匯流排標準，用來連結不同模組之間的通訊。