FPGA形式化验证工具OneSpin360学习笔记(一)
目录OneSpin360图形界面一致性检查举例等价性检查举例Onespin是领先的EDA解决方案提供商,其360系列产品为FPGA形式化验证工具。它以强大、高性能的形式化验证引擎为基础,能够覆盖自动设计分析到高级属性检查以及逻辑等效性验证,帮助构建功能正确,安全,可靠、可信赖的系统。本文基于OneSpin 360版本 2020的学习笔记OneSpin360图形界面OneSpin360读入了设计后,它的图形界面如图1所示。图中三个数字标红的圈圈是OneSpin360提供给用户的主要
原创
2021-02-07 16:41:10 ·
3201 阅读 ·
5 评论