| 题名 | 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. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论