Global Sources
电子工程专辑网站
首页 | 登录 | 现在注册  

专家博客-文章详细内容
首页 / 博客 / 专家博客
 


 

2007-11-0717:21:58 星期三

 先进验证方法学(AVM)的特点

   


AVM是第一个开放的、公开的验证方法学,它是用SystemVerilogSystemC两种语言实现的。支持真正从RTL到系统级的设计和验证流程。AVM以开放的形式提供了一些基类库(由SystemVerilogSystemC实现),并且用两种方式实现一种是基于类的实现方式,另一种是基于模块的实现方式。这样可以将事务级和寄存器级有机结合在一起,为各级提供一个完整的验证平台。这些基类库提供了大量的结构级的类,可以供使用者用来快速建立一个测试平台。

AVM中的验证组件之间的通讯是通过TLM接口。由于这些接口都是基于标准的,所以用户只需要关注在随机约束激励产生、功能覆盖、记分板等方面。同时这些验证组件可以高度重用在其它的项目中,这样基于TLM的接口可以更容易地在更高抽象级编写验证组件,简化编码、调试和测试,更好地提高验证产量。

由于是基于TLM接口的,可以在验证早期建立一个事务级的系统级验证环境。然后根据RTL的增加而逐渐增加验证组件,因为这些验证组件都是可重用,可以稍做修改连接到DUT上。

各个验证组件都有用SystmVerilogSystemC编写的验证原型,你可以根据项目的实际需求添加不同的验证组件。由于所有验证组件都是开放的,你可以对源代码进行修改和添加。由于整个验证环境都是基于对象的编程,所以你可以对验证库中的任何组件进行继承和其它操作,另外由于都是动态数组和类,占用的内存就少,并且由于都是基于事务级的接口,所以运行速度也比基于模块级的快。

[
0
]
名读者喜欢此文
    
 
评论 返回博客首页 | 发表评论
网友: arm7
2007-11-28 22:11
 
评论:

有几个关于Questa的问题:

Questa 6.3c 的DPI对sv_1,sv_z的内部使用颠倒了,导致四态的1变成了z,希望能修正。 而且不支持动态数组做为函数的输出实参。

如:

import "DPI-C" function void my_dpi_func(input ina,output logic [31:0] out[]);

......

logic [31:0] out[];

......

out = new[20]; //Questa 不支持

my_dpi_func(ina,out);

 
网友: Mentor Eric
2007-11-29 11:28
 
评论:

1.6.3C目前DPI 不support动态数组作为实参输出

26.4.6.1 Open arrays
* No unsized, packed dimensions
* Only a single unsized, unpacked dimension is allowed

2.6.3C中把sv_1和SV_z弄混,我试了一下,好像没有,能把你的例子发给我吗?我的邮箱是 eric_luo@mentor.com

谢谢!将尽快给你答复!

 
网友: arm7
2007-11-29 22:23
 
评论:

我用sohu的信箱发信结果被退回来了,拒收。

26.4.6.1 Open arrays
* No unsized, packed dimensions
* Only a single unsized, unpacked dimension is allowed
Questa里的这段说明我看了,我的理解是它只支持一维的动态数组,这个在实际使用中我试了是可以传递一维动态数组的,但是标准里没有定义实参的形式,我是通过仿真Questa报错才知道的。

由于Questa不能将动态数组做实参,所以我就定义了一个固定大小的logic型数组通过动态数组传递给DPI的C层,结果发现所有SV层为1的比特在C层的bval为0,而aval为1,这应该是sv_z的定义,所以导致我传递的只有0,1比特值的数据到了C层都变成0,z了。从C层返回来的也是这样。

 
网友: Mentor Eric
2007-12-03 14:29
 
评论:

你可以试一下我的另外一个邮箱 eric_luo2006@yahoo.com.cn

你看我的程序,运行没有问题:

import "DPI-C" function void xor_logicvec64(output lv64 z, input lv64 i0, i1);

......

lv64 flipper = 64'hffff0000ffff0000;
lv64 flippee = 64'h55zzzz5555xxxx55;

answer_4st = flippee ^ flipper;
$fdisplay(mcd, "4-state answer => %x", answer_4st);

xor_logicvec64(answer_4st, flippee, flipper);
$fdisplay(mcd, "xor_logicvec64 => %x", answer_4st);
$fdisplay(mcd, "");

result:

4-state answer => aaxxxx55aaxxxx55

xor_logicvec64 => aaxxxx55aaxxxx55

 
网友: ykbga
2008-04-25 18:00
 
评论:
您好!
深圳市远阔科技有限公司
专业BGA焊接,植球,返修;承接PCB样机贴片。具有先进光学对位系统的专业BGA返修工作站,再小间距的BGA也可精确定位;返修台里大功率的发热装置,对于较大难焊的无铅BGA,也可轻松处理!外地客户接受邮寄,速递;深圳地区的客户可提供上门收发货服务。
地址:深圳市龙岗区布吉镇布吉中心花园C座二楼2G3室(布吉镇政府北侧)
电话:0755-88325277 0755-84272278
手机:13310878355 13632785502
网址:
http://www.ykbga.com
 

热门标签
1.
2.
3.
4.
5.
 

我是工程师


电子工程专辑论坛有奖活动开幕,展示你的智慧,赢得心怡大奖。

查看详情  排行榜


话题PK台

工程师是吃年轻饭的吗?

干一行爱一行还是爱一行干一行?

外企是不是比国企更适合职业发展?


经理人网站精选

热点话题

全新推出管理资源库,汇聚丰富管理知识

成功的人就是会“勉强”别人的人 

案例:被老板出卖的尴尬事

每周一问

鱼与熊掌不可兼得,什么是布里丹选择? 

博客文章

王石和万科错在哪里

(来源:世界经理人)


~
返回论坛首页

eMedia Asia EE Times - Asia | EE Times - India | | | 手机设计 | 媒体播放器 | 家庭娱乐系统 | 工业控制 | 汽车电子设计 | 电源系统
模拟混合信号 | 国际电子商情 | 电子系统设计
环球资源 环球资源企业网 | 环球资源内贸网 | 世界经理人 | 尚品人生 | Electronic Components | Computer Products | China Sourcing Fairs
TechInsights EE Times | ESM Online
 
 
RSS 新闻聚合器 | 意见反馈 | 网站导航 | 帮助 | 关于我们 | 隐私政策 | 联系我们 | 使用条款 | 安全承诺
Copyright © 2008 eMedia Asia Ltd. 本网站所有内容均受版权保护。
未经版权所有人明确的书面许可,不得以任何方式或媒体翻印或转载本网站的部分或全部内容。