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

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

手机号码,快捷登录

手机号码,快捷登录

找回密码

  登录   注册  

快捷导航
搜帖子
查看: 5313|回复: 3

[求助] 初学验证,写验证平台方案时许多不懂,望大神指点

[复制链接]
发表于 2013-2-27 20:36:37 | 显示全部楼层 |阅读模式

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

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

x
本帖最后由 313008234 于 2013-2-28 09:33 编辑

初学验证,需要写一个SPARC指令集模型的验证平台的方案书。

    基于SPARC V8指令精确模型,设计AMBA总线接口;建立验证环境、设计验证激励,进行SPARC V8仿真模型及AMBA接口的功能验证;对V8仿真模型及验证环境和激励进行封装,实现参数配置和自动运行。

1)采用SystemC设计AMBA总线接口,符合SystemC语言参考手册(IEEE1666-2011)对SystemC和事务级模型(TLM)的相关要求;

2AMBA总线接口具有事务、周期和时序三级仿真精度,其中时序级仿真精度支持SDF反标;

3)基于通用验证方法学(UVM)设计验证环境,具有随机和定向两种激励形式;

4)封装符合IP-XACT标准,支持IP-XACT编辑工具和EDA工具,包括:带IP-XACT编辑插件的eclipsegensys




对此我有几个疑问,希望各位大神们能给点指导


1)这个事务级模型可以实现周期和时序仿真精度么,这三种仿真精度可以同时实现?


2编写这个模型时用什么软件好些,VC还是什么?

3)仿真工具有哪些,该如何选择?

   新版的VCS支持UVM和TLM,貌似不支持TLM2.0,那建模时只能采用TLM1.0?


4)封装这个平台应该是在设计的什么阶段,是systemc建模完成后还是建模并仿真完成后?

   封装是自己手写还是用其他软件来实现?在网上看到赛灵思有IP封装器和IP集成器。

   封装是用XML实现的么?那封装前后的验证有什么不一样呢?




查了几天资料,还是有这么多不懂,望各位大神帮忙解疑!
 楼主| 发表于 2013-2-27 21:02:43 | 显示全部楼层
求各位大神指教啊,看了些资料和论文,可还是很多不明白啊,老师等着计划书呢
发表于 2013-9-14 19:02:05 | 显示全部楼层
三种精度的模型,感觉应该写三个不同的模型,不大可能用同一个模型同时实现,只是可能可以重用部分代码。
如果在windows下开发,可以用vc,如果是linux下,可以用g++。
指令精确的指令集模型 就是一个指令集模拟器(ISS),是一个功能模型,可以用C++写。AMBA既然用SystemC编写,模型建立本身应该不需要VCS,用VC或g++即可。但是SC是不是可以支持SDF反标,这个不知道。验证环境里要用到VCS和UVM,用SV写激励。这种用SC写模型,用UVM/SV验证的还真是不多见。
IP-XACT封装,这个不大清楚,可以上网搜搜。
发表于 2014-9-18 16:36:53 | 显示全部楼层
回复 1# 313008234


   你有UVM的AMBA平台么?能否共享下
您需要登录后才可以回帖 登录 | 注册

本版积分规则

关闭

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


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

GMT+8, 2024-11-14 14:45 , Processed in 0.022023 second(s), 9 queries , Gzip On, Redis On.

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