soc验证 c语言,SoC中寄存器的验证方法

b)

断言:验证设计的行为。

c)

使用商用形式验证工具进行验证:RTL模块验证。进行更详尽的分析,以确保错误被检出。

a4c26d1e5885305701be709a3d33442f.png

​上图表示寄存器验证流程的各种元素及其彼此之间的交互。

a)

​IP-XACT是一种IEEE标准(IEEE

1685-2009),被广泛用于寄存器和存储器映射管理。

IP-XACT为IP描述提供了XML架构,用于方便地捕获有关接口、信号、端口、参数、存储器映射、寄存器、文件详细信息等,也方便管理每个版本的设计更改。这样可以减少开发和验证时间和成本,更简单的共享数据。

b)

除了寄存器IP-XACT之外,我们还需要为设计的复位序列提供读取和写入序列的SVA(SystemVerilog

Assertion)序列。当然这一流程是可扩展的,不单单适用于特定的接口协议。对于常见的协议,例如APB等,我们需要的读写序列在库中已经有。已提供的APB

SVA序列(WRITE_SEQ/ READ_SEQ)如下:

a4c26d1e5885305701be709a3d33442f.pngSVA写序列(WRITE_SEQ)

  • 0
    点赞
  • 6
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值