中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
FlexRay通信控制器IP的测试与验证

文献类型:学位论文

作者林健1,2
答辩日期2009-05-27
文献子类硕士
授予单位中国科学院沈阳自动化研究所
授予地点沈阳
导师杨志家
关键词Flexray Ip 验证 Systemverilog Vmm 验证平台
学位名称硕士
学位专业控制理论与控制工程
英文摘要FlexRay是一种用于汽车的高速可确定性的,具备故障容错的总线系统,作下一代汽车网络协议,提供了充足的带宽、可靠性和实时响应能力,以实现线控应用,如节流阀、制动、转向和动态稳定性控制。该标准已经被越来越多的汽车制造商采用。目前国内尚未成功开发出相关产品,因此研究开发具有自主知识产权的IP具有十分重要的意义。随着芯片复杂度的快速增长,验证成为SoC开发过程中面临的最有挑战性的一个环节。验证要占整个设计开发60%-80%的工作量。对于千万门级的SoC,充分、全面的验证尤为复杂,需要耗费大量的人力以及时间。为了缩短项目开发时间,加快产品面市步伐,要采用先进高效的验证方法,提高验证效率,同时保障验证的覆盖率。本文所用到的FlexRay通信控制器IP核是由中科院沈阳自动化所SOC项目组自主设计的,本文对其进行了详细的功能验证。首先介绍了集成电路设计中的验证方法学,接着介绍了验证语言SystemVerilog,以及基于SystemVerilog语言的一种新的高效验证方法学VMM。在对FlexRay通信控制器IP核的结构及功能进行分析后采用VMM建立一个基于事务的、带约束的随机化验证平台对IP核进行了全面的功能验证。通过设计足够的case来保证模块的功能覆盖率。通过引用这种高效的验证方法学,发现了设计中存在的一些bug,对后续的改进与完善具有一定的指导意义。
语种中文
公开日期2010-11-29
产权排序1
页码59页
分类号U463
源URL[http://210.72.131.170//handle/173321/521]  
专题沈阳自动化研究所_工业信息学研究室
作者单位1.中国科学院研究生院
2.中国科学院沈阳自动化研究所
推荐引用方式
GB/T 7714
林健. FlexRay通信控制器IP的测试与验证[D]. 沈阳. 中国科学院沈阳自动化研究所. 2009.

入库方式: OAI收割

来源:沈阳自动化研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。