Verisity公司为了解决IC开发日益复杂的面临的问题，准备开发可使验证效率提高十倍的产品，可解决工程级和项目级问题。自动化验证过程(VPA)可简化验证，提高工程效率和可预见性。
VPA包括一系列可提高效率的工具、在验证过程中发现的问题及可滤除的数据。VManager验证管理工具从复杂验证项目的规划及目标设置实现管理自动化。它有助于使管理者查看人机资源是如何利用的。Verisity还利用系统验证方法(sVM)对系统级进行验证，这个预封装的验证知识转换系统使SoC和系统级设计的自动化程度提高十倍。
SpeXsim售价33,000美元(仅供参考)，可在Linux和Solaris操作系统上运行。单独使用的Specman Elite工具售价22,000美元，Xsim售价相同。SpeXsim提供Specman Elite和Xsim之间的直接内核集成。