Formality形式验证教程

Posted wojiaxiaoguo

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了Formality形式验证教程相关的知识，希望对你有一定的参考价值。

Formality形式验证主要验证综合后，生成的网表文件功能和之前的verilog文件功能是否一致，

需要两个文件，一个verilog文件，一个是网表文件

1.新建一个文件夹，把verilog文件和网表文件放入文件夹下，在此路径，打开linux下输入命令窗口，输入fm,则打开Formality软件

技术分享图片

技术分享图片

2. 切换到Ref界面下，导入verilog文件

技术分享图片

3，设置路径，点击Options

 技术分享图片

技术分享图片

4.  点击Browse，添加DC综合软件安装的根路径，如我的是/opt/Synopsys/Synplify2015/

技术分享图片

技术分享图片

技术分享图片

5.点击VCS Style Options，然后在Library Directory（-y）下添加verilog的文件路径

技术分享图片

技术分享图片

 

 然后在Library Extension(+libext)下，写入verilog文件名，添加进去

 技术分享图片

然后加载

技术分享图片

设置顶层文件

技术分享图片

在ImpI.下添加网表文件，再加载

技术分享图片

加入DB文件，文件在DC综合时添加库的路径下

技术分享图片

 

技术分享图片

 然后加载

技术分享图片

设置顶层文件

技术分享图片

然后，设置环境（Setup）

在这一步主要设置常量，比如对应一些增加了SCAN扫描链和JTAG链的设置，

由于fir.v是源代码，fir.vg只是综合的源代码，没有添加SACN和JTAG，故省略这一步

 技术分享图片

Match

技术分享图片

Verify

技术分享图片

技术分享图片

 

以上是关于Formality形式验证教程的主要内容，如果未能解决你的问题，请参考以下文章

IT兄弟连 JavaWeb教程 jQuery对AJAX的支持经典案例

SOAPUI中文教程---基于表单的身份验证

订阅号接广教程(须知)：以新榜为案例

软件测试教程——概念解析及常用方法概说

验证用户输入角度

具有多种形式的jQuery验证插件和模糊验证[重复]