基于ovm的网络协议处理芯片验证平台的设计

基于ovm的网络协议处理芯片验证平台的设计

ID:46420070

大小:72.00 KB

页数:6页

时间:2019-11-23

基于ovm的网络协议处理芯片验证平台的设计_第1页
基于ovm的网络协议处理芯片验证平台的设计_第2页
基于ovm的网络协议处理芯片验证平台的设计_第3页
基于ovm的网络协议处理芯片验证平台的设计_第4页
基于ovm的网络协议处理芯片验证平台的设计_第5页
资源描述:

《基于ovm的网络协议处理芯片验证平台的设计》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、基于OVM的网络协议处理芯片验证平台的设计摘要:针对一款网络协议处理芯片,为了保证其设计的正确性,提升验证效率,基于OVM架构,通过SystemVerilog语言搭建了具有受约束的随机激励生成、错误注入、覆盖率收集、正确性自检查等功能的验证平台。通过该验证平台对芯片进行了全方位的高效验证,实现了一次流片成功。基于OVM的验证平台具有良好的可重用性和可扩展性,相对于传统的编写定向测试激励的方法,在验证的高效性、完备性上具冇显著的优势。关键词:OVM;SystemVer订og语言;网络协议处理芯片;随

2、机激励;验证平台中图分类号:TN47?34;TN492文献标识码:A文章编号:10049373X(2014)01?0137?040引言随着集成电路设计技术发展和设计规模的不断膨胀,对设计正确性的验证所耗费的时间越來越长。验证工作大约占据整个项目周期70%左右的时间[1]。验证工作全面与否和效率的高低直接关系到集成电路产品设计的成败和上市的时间。传统的通过Verilog语言撰写定向测试激励的方式只能适应规模较小的设计,对于超大规模的集成电路的正确性验证则难以胜任。SystemVerilog语言是近几

3、年发展起來的、并在大规模集成电路的验证工作上迅速得到广泛应用的、一门集设计与验证为一体的硬件验证语言,它引入面向对象编程的思想,并一且支持覆盖率收集、受约束的随机化等对验证来讲非常重要的特性。基于SystemVerilog语言,可以构建由覆盖率驱动的并且受约束的随机激励验证平台[2?3]。随机激励对于测试复杂设计十分关键。定向测试可以找出设计中预期的漏洞,而随机测试则能够找出预料不到的漏洞。搭建随机激励验证平台花费的时间很长,但其冋报却很高。每个随机测试都可以共享这个通用的验证平台,而不像每个定向

4、测试都要从零开始编写。受约束的随机激励验证平台找起漏洞來会比定向测试快很多。0VM是Cadence和Mentor两家公司联合推出的仿真验证方法学,它是业界第一个开源的仿真验证资源库,它为验证工程师提供了开源的基类设计代码,可以用于构建可复用的验证环境,并.且支持事务级传输模型的接口通信[4]。本文基于0VM架构,通过SystemVer订og语言,给出了一款网络协议处理芯片验证平台的设计。10VM简介OVM验证平台由可重用的称之为OVM验证组件(OVCs)的验证环境构成。0VC可以是针对接口协议、子

5、模块或者完整的系统而构建的验证环境。每个OVC遵循相同的结构,可以对具体的协议或设计执行仿真、检查和覆盖率收集。OVC被用于验证待测设计(DUT)的正确性。OVC可以加速DUT验证平台的创建[5]o典型的OVC环境如图1所示。图1()VC环境示意图一个完整的OVC环境由DataItem>Driver>Sequencer>Monitor>Agent>Environment组成,详细描述见参考文献[5]。2验证平台的设计实现2.1验证对象的描述图2所示为网络协议处理芯片的简易结构。芯片对外提供四组接口

6、:两组网络接口、一组配置管理接口、一组SRAM接口。两组网络接口相互通信,从一个网口输入的网络数据包经协议处理单元处理后从另一个网口输出;配置管理口与外部CPU通信,实现芯片的初始化配置、状态监控;SRAM接口与外部存储器连接,提供网络数据处理过程中所需的中间数据缓存的通道。图2网络协议处理芯片结构2.2验证平台的结构针对该网络[办议处理芯片构建的验证平台结构如图3所示。芯片的SRAM接口与标准的SRAM模型对接,实现读写时序的控制和数据的交互;其他的三组接口分别构建独立的可重用的OVM验证组件(

7、OVC);VirtualSequencer容纳各个OVC的sequencer,控制各个OVC随机序列的生成和管理;Scoreboard收集各OVC提供的监测数据,通过与参考模型(RM)的输出结果进行比较,确认芯片输出的正确性;根据芯片的测试验证需求,组合相关的测试序列,生成多组test,供芯片测试验证。2.3验证平台的设计2.3.1OVC设计芯片验证平台包含GMACOVC1、GMACOVC2和CFGOVC三个独立的验证组件。本文以GMACOVC1为例,详述OVC的构建方法。(1)DataTtemG

8、MACOVC1为网络接口的验证组件,驱动网络接口的数据为以太网数据包。以太网数据包可以采用分层的方法逐级构建。首先构建链路层的MAC数据包,对MAC头各字段进行随机化定义和约束;然后构建网络层的IP数据包,对IP头的各字段进行随机化定义和约束,IP数据包继承于链路层的MAC数据包;最后构建传输层的ICMP、UDP、TCP等协议包,这些数据包继承于网络层的IP包。通过这种面向对象的分层构建方法,使该DataItem具有良好的扩展性,在不同的应用中,根据实际需求可方便地对网络层和传输层

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。