FPGA形式化验证工具OneSpin360™新版发布

Onespin是领先的EDA解决方案提供商，其360系列产品为FPGA形式化验证工具。它以强大、高性能的形式化验证引擎为基础，能够覆盖自动设计分析到高级属性检查以及逻辑等效性验证，帮助构建功能正确，安全，可靠、可信赖的系统。 OneSpin 360™2020.2.0版本现已准备就绪，该版本包括功能和性能方面的改进。新增与增强的功能有： ● 新的编译器和优化程序：这些改进了工具所有部分的性能，包括更

>>阅读原文<<