Onespin公司提供FPGA缺陷检查、覆盖率分析、形式化功能验证、需求自验证、逻辑等效性验证整套解决方案。

VectorCAST^™ 是专门用于C/C++/Ada软件的代码级测试软件，特别是对嵌入式系统有好地支持。可以协助研发团队自动化地完成诸如单元测试、模块接口测试、集成测试、回归测试和测试覆盖率分析等代码级别的测试。

提供DT10自动化的软件测试及调试工具，无需依赖任何OS 和CPU，支持C/C++、Java、C#多种语言，用于动态测试和调试的工具，可对运行时目标程序进行长时间跟踪，适用于各个开发阶段。

C/C++/JAVA代码或嵌入式C/C++/JAVA代码进行便捷的、快速的、准确的运行时缺陷、安全缺陷的识别、定位及统计报告功能。

Plunify公司的InTime软件是个专业FPGA设计软件工具。在不用修改代码的情况下，利用机器学习和大数据分析，解决时序收敛和优化设计的问题。

vSync Circuits, Ltd公司提供业界通用RTL代码编码规则集帮助工程师完整的分析RTL代码的语法和语义的正确性；

提供多时钟域交叉缺陷检查，对于不能达到实际同步效果的同步电路或者缺少同步电路的情况下都能自动生成正确的同步电路IP供用户选择使用，同时能精确计算出各同步电路的可靠性指标平均失效时间MTBF。