Formality简单实用之1--RTLvsRTL
来源:互联网 发布:优化营商环境宣传口号 编辑:程序博客网 时间:2024/06/02 05:49
前提Formality装好。
脚本解析:
1. 设置搜索路径变量,比如某些RTL有需要include文件进来,设置好改变量便于编译时寻找。
laapend search_path $PATH
2.设置一些工具使用的规则
规则较多,可以根据实际简化。
3.设置SVF/VSDC这些综合生成的文件,用于加速形式验证过程。
4.读入 RTL文件列表;设置reference的名称和顶层module名
read_verilog -container r -libname WORK -1{*.rtl **.rtl --}
set_top r://WORK/topmodulename
这里r指目前读入的RTL是reference
5. 读入另一个用于比较的RTL文件列表;设置implementation的名称和顶层module名
read_verilog -container i -libname WORK -01{*.rtl **.rtl --}
set_top i:/WORK/topmodulename
6. match
7.verify
值得注意的是形式验证一般是在FF的输入端进行check的,因此组合逻辑不匹配,会反映到FF的输入端。
- Formality简单实用之1--RTLvsRTL
- Formality笔记
- IOS之Autolayout简单实用
- android之 eventBus简单实用
- Android5.0之Palette简单实用
- android学习笔记之handler简单实用
- Android5.0之Palette简单实用
- Synopsys Formality Workshop 2013
- Formality Error/Debug
- formality的一点经验总结
- 简单实用
- 基于cocos2dx的RPG简单实用算法之1 - 角色的移动
- 安卓学习之路之Handler的简单实用
- CAShapeLayer的简单实用(1)
- Vue.js(1)--下载与简单实用
- js的简单实用(1)
- Formality形式化验证脚本范本
- javascript脚本之表单验证(一些简单实用的javascript)
- U-BOOT启动过程分析 经典文章汇集
- activity、 intent 、intent filter、service、Broadcast、BroadcaseReceiver解释
- 最小生成树 (Kruscal 、prime)
- 计算机方面经典书籍<一>
- nginx实现网站负载均衡(windows+IIS负载实测)
- Formality简单实用之1--RTLvsRTL
- IOS 下的 HelloWorld程序 续 事件处理
- 为什么INT_MIN不是直接写成-2147483648
- JAVA:借用OpenOffice将上传的Word文档转换成Html格式
- HDU 1492 The number of divisors(约数) about Humble Numbers
- JavaScript 注入攻击
- 《编程珠玑》读书笔记(一)
- C++操作符重载手册
- AIZU 1001 Binary Tree Intersection And Union