产品与解决方案
Onespin公司FPGA测试方案
2019-07-22 196次

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

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

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

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

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