[发明专利]基于VMM RAL的寄存器自动化验证方法无效
| 申请号： | 201210489030.4 | 申请日： | 2012-11-27 |
| 公开（公告）号： | CN103838653A | 公开（公告）日： | 2014-06-04 |
| 发明（设计）人： | 杨宁昕 | 申请（专利权）人： | 上海华虹集成电路有限责任公司 |
| 主分类号： | G06F11/26 | 分类号： | G06F11/26 |
| 代理公司： | 上海浦一知识产权代理有限公司 31211 | 代理人： | 戴广志 |
| 地址： | 201203 上海*** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于VMM RAL的寄存器自动化验证方法，包括如下步骤：步骤一、根据设计说明书初始化一个具有固定格式的描述寄存器的Excel表格；步骤二、利用脚本工具从Excel表格中转换出VMM的ralgen命令能够识别的扩展名为.ralf文件，利用ralgen命令基于.ralf文件产生描述寄存器的RAL模型文件；步骤三、选择要验证的寄存器并使用通用寄存器验证任务模块进行验证。本发明能有效缩短芯片的验证时间，提高效率，保证验证质量。 | ||
| 搜索关键词： | 基于 vmm ral 寄存器 自动化 验证 方法 | ||
【主权项】：
一种基于寄存器抽象层的验证方法学VMM RAL的寄存器自动化验证方法，其特征在于，包括如下步骤：步骤一、根据设计说明书初始化一个具有固定格式的描述寄存器的微软办公表格Excel；步骤二、利用脚本工具从微软办公表格Excel中转换出验证方法学VMM的寄存器传输级文件产生ralgen命令能够识别的扩展名为.ralf文件，利用寄存器传输级文件产生ralgen命令基于.ralf文件产生描述寄存器的寄存器抽象层验证技术和方案RAL模型文件；步骤三、在验证环境平台中例化和调用所述RAL模型文件，选择要验证的寄存器并使用通用寄存器验证任务模块进行验证。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于上海华虹集成电路有限责任公司，未经上海华虹集成电路有限责任公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201210489030.4/，转载请声明来源钻瓜专利网。
