XML驱动的RAL自动化流程
"这篇论文详细介绍了在RAL(Register Abstraction Layer)自动化定义流程中,如何将Word文档规范集成到测试平台基础设施生成和RTL实现的过程。文章涵盖了构建环境时的初步思考,选择XML仓库来弥合RAL格式与Word文档格式之间的差距,采用分层方法处理可配置的功能,并在驱动级别上耦合RAL类以及映射层,以及定义覆盖度的独立层次,超越了原生集。" 在开发阶段,首先的起点是基于Word文档的寄存器定义。这通常是设计工程师们用来描述硬件寄存器结构的文档。为了将这些信息转化为自动化验证环境,需要一个转换机制。论文中提到了两种早期尝试:RALF(可能是RAL Flow的缩写)和RegDbXML。 1. RALF:这个工具是测试平台基础设施的启动点,但数据需要手动输入,意味着它并不能完全自动化整个过程,可能存在人为错误和效率低下的问题。 2. RegDbXML:通过建立XML寄存器数据库,实现了RTL设计和测试平台驱动之间的数据一致性,但数据维护仍然需要手动操作,增加了维护的复杂性。 为了解决这些问题,论文提出了基于pragma(编程预处理指令)的规范方法。pragma使得提取过程能够确保规格变化的传播,同时对规格结构的最小修改简化了采纳过程。这样,当Word文档中的寄存器定义发生变化时,可以通过解析pragma自动更新到XML数据库,进一步更新到RTL实现和验证模型。 在关键的流程中,XML起到了桥梁作用,连接了Word文档的规格说明和VMM(Virtual Machine Model)的RAL类。通过ralgen工具,可以将XML注册数据库转换为VMM RAL类,进而生成驱动代码。这样,测试平台能够根据最新的寄存器定义自动生成,提高了效率和准确性。 在集成VMM方面,论文可能涉及如何将生成的RAL模型与VMM框架无缝对接,以便在验证环境中模拟和驱动寄存器操作。这通常包括事务生成、事务接口和覆盖率模型的构建。 至于增强功能覆盖,论文提到了定义覆盖度的独立层次,这意味着在原始的VMM RAL覆盖模型基础上,可以添加更具体或更详细的覆盖指标,以提高验证的全面性和深度。 该文介绍了一个基于XML的流程,用于将Word文档中的寄存器规格转换为自动化验证环境,包括测试平台的生成、RTL实现的更新和覆盖度的增强,从而优化了从设计到验证的整个流程。这种方法减少了手动工作,提高了效率,也保证了设计与验证的一致性。
剩余22页未读,继续阅读
- 粉丝: 0
- 资源: 28
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 最优条件下三次B样条小波边缘检测算子研究
- 深入解析:wav文件格式结构
- JIRA系统配置指南:代理与SSL设置
- 入门必备:电阻电容识别全解析
- U盘制作启动盘:详细教程解决无光驱装系统难题
- Eclipse快捷键大全:提升开发效率的必备秘籍
- C++ Primer Plus中文版:深入学习C++编程必备
- Eclipse常用快捷键汇总与操作指南
- JavaScript作用域解析与面向对象基础
- 软通动力Java笔试题解析
- 自定义标签配置与使用指南
- Android Intent深度解析:组件通信与广播机制
- 增强MyEclipse代码提示功能设置教程
- x86下VMware环境中Openwrt编译与LuCI集成指南
- S3C2440A嵌入式终端电源管理系统设计探讨
- Intel DTCP-IP技术在数字家庭中的内容保护