imicman的个人空间 https://blog.eetop.cn/1518355 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料

日志

RAL解决方案

已有 938 次阅读| 2016-5-5 22:16 |个人分类:验证杂谈


背景:见之前的日志(关于RAL的)

验证目标及其解决方案

1. 寄存器表格中寄存器与地址的匹配的(避免地址与寄存器的错位)
     解决方法:写寄存器为随机数,读写分为前门和后面,读写结果应该相同。

2.寄存器的配置通道是顺畅的(BUS通路行为正确)
    解决方法:使用前门读写

3.寄存器表格中寄存器的属性与代码实现是一致的。
   解决方法:正面和方面测试
  正面是指对于可读可写的寄存器按照寄存器的属性进行读写,读写结果应该相同。 
  反面是指对于读写不对称(比如只读)的寄存器按照寄存器的属性进行读写,读写结果应该不同。
  备注:对于feild寄存器,不用考虑field。直接读写32bit寄存器即可(32bit为配置通路数据位宽)

4.寄存器的field边界是否清晰,不会出现重叠和错位
  解决方法:
   A 由VBA脚本对excel的寄存器表格进行检错,即各field之间是无缝衔接,且所有的field位宽之和为32bit.
 B 在dynamic scan中的功能验证中识别重叠错位,因为功能验证对bit错位十分敏感。
 备注:事实上,表格与代码中bit错位在static scan中无法解决(目前从usrguide中的描述而言)

5。寄存器复位后状态值是确认的
解决方法:使用前门来读(不行则后门读)寄存器值,与寄存器模型中的初值进行比较,结果应该一致。


具体执行过程还需要:
1。VBA脚本对excle表格进行初始格式检查,具体检查项目需要根据表格格式确定。
2。需要使用perl或者VBA由excle表格生成reg_model的代码。
3。寄存器的验证需要支持静态和动态scan,两者集合到同一个平台,但是需要宏开关来二选一。

点赞

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

  • 关注TA
  • 加好友
  • 联系TA
  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 0

    关注
  • 1

    粉丝
  • 0

    好友
  • 8

    获赞
  • 34

    评论
  • 访问数
关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 09:01 , Processed in 0.015247 second(s), 11 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部