目录
Onespin是领先的EDA解决方案提供商,其360系列产品为FPGA形式化验证工具。它以强大、高性能的形式化验证引擎为基础,能够覆盖自动设计分析到高级属性检查以及逻辑等效性验证,帮助构建功能正确,安全,可靠、可信赖的系统。
本文基于OneSpin 360版本 2020的学习笔记
OneSpin360图形界面
OneSpin360读入了设计后,它的图形界面如图1所示。图中三个数字标红的圈圈是OneSpin360提供给用户的主要功能。用户可以方便的通过这些按钮去实现其功能。其中标红圈圈1中,主要是用于用户执行设计设置 (Design Setup):
- 读入设计(Reading in the design :VHDL button for VHDL files, V button for Verilog files)
- 详细阐述设计(Elaborate the design : E button)
- 编译设计(Compile the design : C button)
- 指定时钟信号和复位时序(Specify clock pins and reset sequence)
图1 OneSpin360 图形界面
在design setup 结束后,用户可以切换到三种模式,CC、MV和EC. 此后,先前组成setup模式的按钮将会被隐藏并显示当前模式的按钮。如图2中显示的是setup模式,从左到右的按钮的功能依次是读入VHDL文件、读入Verilog文件、设计详细阐述(elaborating the design)、编译(Compiling)、设计和端口(pin the port ,only EC mode)。右边三个是模式选择。
图2 setup 模式
红色圈圈2是shell/message/progress 窗口,每个功能的输出信息都会显示在这里。命令在shell 窗口输入红色圈圈3功能如下:
- Hiding the shell -隐藏shell 窗口,进入GUI 模式
- Hid the GUI – 隐藏GUI, 进入shell 交互界面
- Interrupting the execution of a running command - 中断操作命令
- Calling the help browser – 调用帮助手册
OneSpin 提供了非常强大的帮助命令,这很方便用户很快的查找命令和掌握该工具,很大的方便了验证师,节省了验证时间。那么如何获得帮助呢? 除了在GUI界面下直接点击help-browser外,用户可直接在OneSpin shell区中输入命令“help”。Help命令可以获得对一个命令的详细语法描述。例如,以下命令都可以获得read_verilog命令的语法描述:
Setup> hel