Onespin为德国一家专业致力于高安全性可编程逻辑解决方案的公司,是形式化验证技术的领导者。针对FPGA/CPLD,公司有一系列的产品來保障质量
360DV-Inspect: RTL缺陷检查及覆盖率自动生成平台;
360DV-Verify:基于形式化方法的功能验证平台;
360DV-Certify:功能需求集自验证平台;
360EC:FPGA逻辑等效性验证;
上一篇:FPGA RTL代码规则检查工具vLinter
下一篇:FPGA设计优化软件工具InTime