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

b)

断言：验证设计的行为。

c)

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

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

a)

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

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

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

b)

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

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

SVA序列(WRITE_SEQ/ READ_SEQ)如下：

SVA写序列(WRITE_SEQ)