打印

检查4KB边界

[复制链接]
159|0
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
丑帅丑帅的|  楼主 | 2018-9-9 21:18 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
ADDR, AD, DDR, ST, RS
当我尝试通过
https://silver.arm.com/browse...
了解SVA 4KB边界时,下面  是一个属性
//开始
属性AXI_ERRM_AWADDR_BOUNDARY;
@(posedge`AXI_SVA_CLK)\n!($ isunknown({AWVALID,AWBURST,AWADDR}))& AWVALID&(AWBURST ==`AXI_ABURST_INCR)\n\n    |->(AwAddrIncr [ADDR_MAX:12] == AWADDR [ADDR_MAX:12]);endproperty

始终以@(AWSIZE或AWLEN或AWADDR) 开始:p_WAddrIncrComb
AwAddrIncr = AWADDR +(AWLEN << AWSIZE); //突发结束的最终地址
// end
如果有事务:据我所知,AWADDR:\'d4095 AWLEN:\'d0 AWSIZE:\'d1 AWBUSRT:incr 据我所知,这应违反4K限制。是否在此部分上面检查属性?

使用特权

评论回复

相关帖子

发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

741

主题

742

帖子

0

粉丝