LEC learning1: formality failing owe to change_link
LEC check: rtl2netlist 出现NEQ,打开formality schematics 可以看到NEQ 的type 是DFF, 然后check DFF compare point ,发现clock pin 在rtl 和netlist 中的edge 不同, 在rtl 中是rising, 在netlist 中是failing,这种edge 不同的情况可能是inverter 导致的,也类似在fix timing 时,若用了一个inverter 替换一个buffer (func 正常是两个inverter 对应一个Buffer),那么clock edge 也会不同。
这种情况下,也可以使用tool 的pattrens, 将logic cones 全部设成0或者1,看到的compare point 中在golden 和revise 中分别是0和1 ,这种情况可能就说少了一个inverter。
这样的情况可以trace clock pin 的primary input , 在path 上看到有一个Mux ,改Mux 在rtl 中用case 写的四选一, 在netlist 中是二选一mux (由std cell 一个inverter,两个与门和一个或门组成 )。由于综合后对netlist 进行了change_link ,改变了一些cell 的link ,这个过程的mux 换错了,导致最终的netlist link 的mux 的output 少了一个inverter ,所以导致NEQ ,这时要更正change_link 的cell 后,可以EQ。
LEC learning1: formality failing owe to change_link相关推荐
- 数字IC后端设计技术全局观
数字IC后端设计flow(不含DFT) 数字IC后端设计工具 DC:用于逻辑综合 FM:用于形式验证 ICC:用于物理实现 PrimeTime:用于STA 步骤(或文件类型)简述 RTL(Regist ...
- 数字IC设计流程(全),芯片设计流程,集成电路设计流程
一 数字IC设计流程 前端: 1.规格制定 甲方提要求,确定芯片的功能,性能等方面. 2.架构设计 架构工程师制定方案,设计架构,划分模块功能,定义接口时序. 3.RTL编码 数字IC设计工程师编写R ...
- lec formality inconclusive举例
情况1:output port连接常量电平(形成loop) 设计 module sub( input a,b,c,output d,e ); assign d = a ^ b | c; assign ...
- Synopsys Formality Workshop 2013
四月底忙里偷闲去参加了为期两天的Formality的workshop.讲师还是那个讲师,不过相比于2010年底的听的那次Formalityworkshop2005,内容有很大的调整和更新,尤其是使用F ...
- SYNS formality 形式验证常见debug 步骤
formality 是synopsys 用来验证两个design是否等价的工具,也是IC实现中sign off tool,常用在design ECO 验证,tptg 前后由于design hierar ...
- formality软件使用教程
(参考:https://mp.weixin.qq.com/s/XznSbJBlAdZvtAIpyzajAA) 一.formality简介 在现在的数字集成电路设计流程中,有很多步骤都需要进行验证.随着 ...
- formality的一点经验总结
文章目录 一. 总结: 二. netlist和svf的配套一致 三. formality遇到的坑 四. pattern match视角 五. IP/IO/standcell的处理 一. 总结: 解决d ...
- formality: 形式验证流程
formality工具作用于设计开发过程中验证逻辑功能是否产生变化,不考虑layout与timing,可以作为动态仿真的替代品.受制于设计规模,仿真的时间与其输入向量的多寡有关,而formal ver ...
- IMPL10. formality 常用变量浅析
1.hdlin_unresolved_modules //hdlin_xxx 控制对于link的时候,对于找不到ref的instance,处理方法:当设置为error或者默认值时会报告link的err ...
最新文章
- pythonapi是什么意思_python api是什么
- NYOJ737 石子合并(一)区间动态规划
- boost::locale::calendar用法的测试程序
- 微型计算机接口期末,最新大学微机原理与接口技术期末试题及答案
- 振奋!中国正式进入5G元年;华为5G俄罗斯签下大单;王坚进入工程院院士第二轮评审...
- js html 拼接,JavaScript concat() 方法
- ajax jsonjar包,json-lib.jar
- 子类调用父类构造器的几种情况
- 曙光服务器bios开启vt虚拟化,BIOS怎么开启虚拟化技术VT
- ET框架---UnityWebRequestAsync学习笔记
- python字典类型中键可以是数字吗_python字典key不能是或可以是啥类型
- 交通信号灯控制器C语言代码,交通信号灯控制器代码及说明.doc
- 2021软科中国计算机专业排名
- Java基础(三)IO流和对象流
- 营养素的基础知识1(非技术文)
- IT行业常用术语缩写
- c语言程序设计分值,计算机考试题分值分布
- Java判断日期格式是否正确
- 【黑帽SEO大神揭秘】快速排名的黑帽技术有哪些?
- 企业财务制度二--(五)损益类科目 5101 主营业务收入(转载)