[发明专利]一种处理器硅前验证用的RTL与参考模型实时比较方法

权利要求书

1.一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，包括：

步骤S01，当监测到RTL的通用寄存器回写信号时，将RTL回写的值记录于Testbench中的RTL缓冲内；处理器的每个通用寄存器的回写结果都有一个单独的比较队列；

步骤S02，比较Testbench中RTL缓冲中条目和Testbench中参考模型缓冲中条目，若相等，则返回步骤S01，若不相等，则报错退出；步骤S02包括：

步骤S20，检测参考模型对应通用寄存器号下的缓冲是否为空，若是，参考模型运行一拍后返回步骤S20，若否, 执行所述比较RTL缓冲中条目和参考模型缓冲中条目步骤；

步骤S21，比较RTL缓冲中条目的值和参考模型缓冲中条目的值，若相等，则执行步骤S22；若不相等，则报错退出；

步骤S22，检测RTL缓冲和参考模型缓冲是否均不空，若是，则返回步骤S21，比较RTL和参考模型缓冲中下一个条目；否则，返回步骤S01；

当检测参考模型对应通用寄存器号下的缓冲为空时，参考模型运行一拍后，还包括：检测到参考模型运行结束，参考模型缓冲为空且RTL缓冲不空，或者，检测到参考模型超过设定运行最大拍数，参考模型缓冲为空，则报错退出，否则返回步骤S20；

在所述比较RTL缓冲中条目和参考模型缓冲中条目步骤之前，应用$isunknown()判断RTL的通用寄存器回写信号有X，则报错。

2.根据权利要求1所述的一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，步骤S01包括:监测RTL的通用寄存器回写信号，当未监测到RTL的通用寄存器回写信号时，则继续监测；当监测到RTL的通用寄存器回写信号时，将RTL回写的值记录于Testbench中的RTL缓冲内。

3.根据权利要求1或2所述的一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，所述当监测到RTL的通用寄存器回写信号时，将RTL回写的值记录于RTL缓冲内的步骤具体为：当监测到RTL的通用寄存器回写信号时，获得回写信号的通用寄存器号，将RTL回写的值记录在该通用寄存器号对应的RTL缓冲内。

4.根据权利要求1所述的一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，在步骤S01之前还包括：定义RTL缓冲和参考模型缓冲；所述RTL缓冲用于在RTL的通用寄存器回写信号时记录RTL回写的值；所述参考模型缓冲用于在每执行一条非空指令时记录指令参考模型回写的值。

5.根据权利要求1所述的一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，还包括步骤S03，在仿真结束时，检测参考模型未执行完所有指令时，在运行参考模型执行完所有指令之后，比较RTL与参考模型仿真结果。

6.根据权利要求1所述的一种处理器硅前验证用的RTL与参考模型实时比较方法，其特征在于，所述方法是基于SystemVerilog的面向对象技术和DPI接口实现。