在线咨询
eetop公众号 创芯大讲堂 创芯人才网
切换到宽版

EETOP 创芯网论坛 (原名:电子顶级开发网)

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 3861|回复: 15

[讨论] 求助,数字IC设计后端的验证问题

[复制链接]
发表于 2017-12-29 10:12:14 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有账号?注册

x
目前绘制出了版图完成了LVS,使用calibre提取了寄生参数
那么要怎么证明我的电路在有寄生参数的情况下依然可以正常工作?
是对版图和DC综合出的网标进行形式化验证吗?
形式化验证可以输入两个版图进行比较吗?(我在gui界面没有看到可以输入ICC输出的GDSII文件的格式)如下图:












还是说,本身在对版图的LVS验证中已经完成对于带有寄生参数的电路的逻辑一致验证?
 楼主| 发表于 2017-12-29 10:12:57 | 显示全部楼层
1.PNG
没有发出来的图
发表于 2017-12-29 10:32:38 | 显示全部楼层
回复 1# 月月鸟


   形式验证需要用formal,比较的是优化前和优化后netlist功能是不是一致。   LVS只是对比同一个database的layout和schematic(netlist)是不是一直而已。
 楼主| 发表于 2017-12-29 10:40:42 | 显示全部楼层
回复 3# sinbad
我有点明白了
也就是说我现在只是验证了综合出来版图在逻辑方面与原本的设计是一致的
那么我应该怎么验证在考虑寄生参数的情况下,电路是可以正常工作的?
发表于 2017-12-29 10:53:25 | 显示全部楼层
回复 4# 月月鸟

将你做好pr的设计抽取rc参数给其他做验证的人员做后仿,去验证带寄生参数电路功能正不正常
 楼主| 发表于 2017-12-29 11:01:31 | 显示全部楼层
回复 5# 刺客无痕
我也想啊= =
只是在片内集成的一小块spi
也没有别人做了只好自己来了
 楼主| 发表于 2017-12-29 15:58:21 | 显示全部楼层
查了一天资料有一点想法写在这里,算是抛砖引玉吧
一个最终提交制造的版图应该满足:
功能和RTL一致
性能满足预定目标
物理规则正确
功耗&面积满足要求

那么,在signoff阶段
形式化验证是确定功能的
STA则是验证性能的
LVS,DRC验证的是物理规则
面积和功耗的报告是对于电路测试结果的一个验证

不知道这么理解有没有问题
发表于 2018-1-2 09:06:16 | 显示全部楼层
你只是需要做个后仿  signoff一下吧
 楼主| 发表于 2018-1-2 10:51:45 | 显示全部楼层
回复 8# 第三朵浮云
帮着一个师兄做项目,要在芯片内集成一个spi,我只做了前端,后端综合版图是请的工程师来做的,现在师兄问我怎么样能确定电路在综合版图并且有寄生参数的情况下还能正常工作?有点被问住了。。
DRC和LVS都没什么问题。
signoff阶段实际就是检查1.时序违例;2.静态&动态功耗;3.物理验证;
我这么理解是正确的吗?
发表于 2018-1-2 11:25:21 | 显示全部楼层
你做前端写verilog应该做过仿真吧?现在有了后端网表和寄生参数,反标延时,做后仿。
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

站长推荐 上一条 /1 下一条

×

小黑屋| 手机版| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-11-5 14:37 , Processed in 0.028184 second(s), 8 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
快速回复 返回顶部 返回列表