Onespin为德国一家专业致力于高安全性可编程逻辑解决方案的公司，是形式化验证技术的领导者。针对FPGA/CPLD，公司有一系列的产品來保障质量

       360DV-Inspect: RTL缺陷检查及覆盖率自动生成平台；

       360DV-Verify:基于形式化方法的功能验证平台；

       360DV-Certify:功能需求集自验证平台；

 360EC:FPGA逻辑等效性验证；