找回密码
 注册

手机号码,快捷登录

手机号码,快捷登录

查看: 2872|回复: 6

[求助] spyglass在数字IC设计中的作用?

[复制链接]
发表于 2022-8-24 20:40:28 | 显示全部楼层 |阅读模式

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

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

×
小白求问。如题,之前没怎么接触过该软件。在我的认知中,毕竟VCS已经能检查出设计中的语法错误了,功能错误可以在后面验证中找到。网上说spyglass能检查出一些vcs检查不出的错误,那这些错误具体指什么呢?

发表于 2022-8-25 08:40:27 | 显示全部楼层
spyglass是一套完整的静态验证方法学,包括lint/CDC/RDC/power/DFT等验证,相比动态验证,其覆盖率会更高,更为高效
回复 支持 反对

使用道具 举报

发表于 2022-8-25 08:42:06 | 显示全部楼层
spyglass是一套完整的静态验证方法学,包括lint/cdc/rdc/power/dft等等验证维度,相比动态仿真覆盖率更高,更为高效
回复 支持 反对

使用道具 举报

发表于 2022-8-25 09:11:15 | 显示全部楼层
generally, lint/cdc/rdc check can be provied by spyglass
回复 支持 反对

使用道具 举报

发表于 2022-8-25 09:18:10 | 显示全部楼层
搜一下spyglass的检查规则你就明白了
回复 支持 反对

使用道具 举报

发表于 2022-8-25 09:21:12 | 显示全部楼层
比如你的clock、reset用的不规范,仿真虽然不影响,但是可能会影响综合时序
再比如你想做一个寄存器的always语句,但是里面用到了阻塞赋值,可能也不会影响仿真,但是有歧义,也会被检查出来
再比如异步逻辑,如果没有正确处理,sg也会报出来让你检查
回复 支持 反对

使用道具 举报

发表于 2022-8-30 18:25:57 | 显示全部楼层
spyglass的功能很多,目前是业内sign-off唯一可靠的工具,主要用于lint/CDC/DFT,lint主要是检查代码的语法,是否是可综合的语言,cdc用于检查跨时钟路径信号是否有问题,以防止出现亚稳态,DFT主要是实现所有的flop clock和reset信号可控。
回复 支持 反对

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则


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

GMT+8, 2026-1-16 06:43 , Processed in 0.028450 second(s), 3 queries , Gzip On, Redis On.

Powered by Discuz! X3.5

© 2001-2026 Discuz! Team.

快速回复 返回顶部 返回列表