ET创芯网论坛(EETOP)

找回密码

  登录   注册  

电动/混动汽车、48V系统、汽车功能安全等技术资料合集
查看: 144|回复: 7

[求助] iomux电路怎么验证那?

[复制链接]
发表于 2019-7-23 12:03:47 | 显示全部楼层 |阅读模式

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

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

x
请求大家的帮助,
iomux电路是用脚本吃excel产生出来的,
电路来说就是一堆input pin,一堆output pin,之间是很多的mux选择电路。应该怎么验证那?
也就是说我在input pin上灌进来值,电路output pin上得到了一堆值,我怎么知道这些值对不对那??? 肉眼查好像做不到,因为太多了。

目前没有cmodel来产生golden。

发表于 2019-7-23 15:03:01 | 显示全部楼层
形式验证。写好excel生成断言===各大eda公司有卖,实在不行自己写。
回复 支持 反对

使用道具 举报

发表于 2019-7-24 15:35:05 | 显示全部楼层
嗯,这种逻辑最适合FORMAL了。
回复 支持 反对

使用道具 举报

 楼主| 发表于 2019-7-25 09:07:35 | 显示全部楼层


   
gaurson 发表于 2019-7-24 15:35
嗯,这种逻辑最适合FORMAL了。


FORMAL指的是什么? 我对验证工作不熟,可否将详细一点那?感谢
回复 支持 反对

使用道具 举报

发表于 2019-7-25 15:10:37 | 显示全部楼层


   
Kiss_Rose 发表于 2019-7-25 09:07
FORMAL指的是什么? 我对验证工作不熟,可否将详细一点那?感谢


就是2楼说的形式验证。现在各EDA工具上都有类似的工具。
回复 支持 反对

使用道具 举报

发表于 2019-7-26 18:42:56 | 显示全部楼层


   
gaurson 发表于 2019-7-25 15:10
就是2楼说的形式验证。现在各EDA工具上都有类似的工具。


是不是就是formailty?我之前验证iomux就是通过通过配置iomux,然后一条一条验证跑case,这样验证挺麻烦的,感觉也不太适合大量的io,关键是后防特别慢,你说的形式验证大致是一个什么样的流程
回复 支持 反对

使用道具 举报

发表于 2019-7-27 15:46:16 | 显示全部楼层
不是,formality是等价性比较的一种工具,也算FORMAL中的一种,形式验证输入是一种对激励的约束,它确实也有限制,对于可以接纳的DUT大小有限制,越大的DUT,计算复杂度就越高,就会越慢,要适当裁剪才可以。具体的细节我也不是很清楚,只是了解过一些知识点。formality更多用于后端对RTL和网表一致性的检查。
回复 支持 反对

使用道具 举报

发表于 2019-8-1 10:02:47 | 显示全部楼层
形式化验证工具有Cadence Jasper,Synopsys VC Formal。还有其他公司的产品。你看看你们公司有那种工具。有的话,按照要求写断言取验证。
回复 支持 反对

使用道具 举报

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

本版积分规则

关闭

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

关于我们|联系我们|ET创芯网 ( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2019-9-18 00:39 , Processed in 0.080440 second(s), 11 queries , Gzip On, Redis On.

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

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