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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 4393|回复: 9

[求助] 写reference的思想是什么

[复制链接]
发表于 2012-9-17 16:21:51 | 显示全部楼层 |阅读模式

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

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

x
初学者,看书上说,reference是验证者根据自己对于spec的理解验证设计者的设计,但是具体怎么写呢,很不明白,求高手解答。
发表于 2012-9-17 16:30:42 | 显示全部楼层
我的理解,就是写testcase list 。
 楼主| 发表于 2012-9-18 10:42:21 | 显示全部楼层
回复 2# drysky


    能说的具体点吗,reference是如何能够得到设计的正确输出,来与实际的设计的输出做对比的?
发表于 2012-9-18 14:28:23 | 显示全部楼层
哦,不好意思,昨天没仔细看~说错了

你的reference是用C来写的吗?是不是需要写一个golden model 啊?
我对你的reference的理解是,写一个与DUT相同功能的simulation model ,仿真的时候同时给DUT和SM激励,通过对比DUT与SM的输出是否一致来验证DUT。
我只做过golden model
 楼主| 发表于 2012-9-19 10:29:59 | 显示全部楼层
回复 4# drysky


    谢谢你回答啊,我的意思就是你说的,但是sm该怎么写呢, 如果和dut实现相同的功能那不是和dut没什么区别了, 再问一个新手问题,你说的golden model 是指什么,封装好的 模型吗?
发表于 2012-9-19 15:01:31 | 显示全部楼层
我对SM的理解是,对于相同的功能,
SM不一定是可综合的,实现起来相对容易。
而DUT必须是综合的,实现起来相对麻烦一些。

golden model一个典型例子是算法的实现,一个算法可以由C代码进行仿真,verilog实现后就是DUT。
C所实现的功能在仿真的时候就可以称之为golden model了。
验证时,将激励同时给C和verilog会得出两个结果,将这两个结果做比对就比较容易发现问题了。
 楼主| 发表于 2012-9-19 15:13:02 | 显示全部楼层
回复 6# drysky


     哦  学习了,十分感谢!
发表于 2012-9-19 18:03:56 | 显示全部楼层
你说的是reference model吧,就是把设计抽象出来 用事务级的概念来构造
发表于 2012-9-19 18:48:02 | 显示全部楼层
我觉得reference应该是比较容易看到结果的,可以用于前期评估该项目的model。我们一般都会用C或者matlab实现,其实也就是算法预言。后期验证时只需要将verilog的结果和这个比对就可以。
发表于 2012-9-21 13:51:24 | 显示全部楼层
reference model 的准确性应该由设计人员和验证人员对spec的理解一致的基础上共同完成的吧?这样保证模型的正确性;也可以方便验证工作的展开,方便验证环境的调试
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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

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

GMT+8, 2024-3-29 20:22 , Processed in 0.046637 second(s), 8 queries , Gzip On, Redis On.

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