题名 | 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,对后续的改进与完善具有一定的指导意义。 |
语种 | 中文 |
产权排序 | 1 |
公开日期 | 2010-11-29 |
页码 | 59页 |
分类号 | U463 |
内容类型 | 学位论文 |
源URL | [http://210.72.131.170//handle/173321/521] ![]() |
专题 | 沈阳自动化研究所_工业信息学研究室 |
作者单位 | 1.中国科学院研究生院 2.中国科学院沈阳自动化研究所 |
推荐引用方式 GB/T 7714 | 林健. FlexRay通信控制器IP的测试与验证[D]. 沈阳. 中国科学院沈阳自动化研究所. 2009. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论