本公开的实施例总体涉及计算机领域,具体地,涉及处理装置、用于处理装置的验证装置和验证方法。
背景技术:
1、为了验证被测器件(dut)(例如,处理器或处理装置等)的具有灵活长度的向量指令(例如,第五代精简指令集计算机(reduced instruction set computer-v,risc-v)的向量扩展和arm的可伸缩向量扩展(scalable vector extension,sve)等),难以定义dut与验证装置(例如,测试台等)之间用于传输dut在数据提交阶段中提交的与待验证向量指令或数据有关的信息的接口。
技术实现思路
1、本公开的一方面提供了一种处理装置,包括:寄存器单元;以及接口单元,所述接口单元与所述寄存器单元耦合并且包括转换模块,其中,所述转换模块用于将所述寄存器单元中的更新数据转换成输出数据,并且所述输出数据的长度是固定的且小于所述更新数据的长度。
2、本公开的一方面提供了一种用于处理装置的验证装置,包括:转换模块,用于基于来自参考模型的提交日志中的寄存器数据生成参考信号;以及比较模块,用于将从所述处理装置接收到的输入信号与所述参考信号进行比较,其中,所述输入信号包括输入数据,所述输入数据是通过转换所述处理装置中的寄存器单元中的更新数据生成的,并且所述输入数据的长度是固定的且小于所述更新数据的长度。
3、本公开的一方面提供了一种用于处理装置的验证方法,包括:基于所述处理装置中的寄存器单元中的更新数据生成输出数据,其中,所述输出数据的长度是固定的并且小于所述更新数据的长度;编码输出信号以传输至与所述处理装置连接的验证装置,其中,所述输出信号包括所述输出数据;基于来自参考模型的提交日志中的寄存器数据生成参考信号;以及将所述输出信号与所述参考信号进行比较。
4、本公开的一方面提供了一种其上存储有计算机可执行指令的计算机可读存储介质,其中所述计算机可执行指令在由处理电路执行时使所述处理电路执行以下操作:基于处理装置中的寄存器单元中的更新数据生成输出数据,其中,所述输出数据的长度是固定的并且小于所述更新数据的长度;编码输出信号以传输至与所述处理装置连接的验证装置,其中,所述输出信号包括所述输出数据;基于来自参考模型的提交日志中的寄存器数据生成参考信号;以及将所述输出信号与所述参考信号进行比较。
1.一种处理装置,包括:
2.如权利要求1所述的装置,其中,所述接口单元用于编码输出信号以传输至与所述处理装置连接的验证装置,所述输出信号包括所述输出数据并且不包括在用于提交所述更新数据的提交阶段不可用的信息。
3.如权利要求1所述的装置,其中,所述转换模块用于在所述寄存器单元更新时,利用散列函数将所述更新数据转换成所述输出数据。
4.如权利要求1所述的装置,其中,所述转换模块用于在所述寄存器单元更新时,通过预设的位操作将所述更新数据转换成所述输出数据。
5.如权利要求4所述的装置,其中,所述预设的位操作包括按位异或。
6. 一种用于处理装置的验证装置,包括:
7.如权利要求6所述的装置,其中,所述输入信号不包括在用于提交所述更新数据的提交阶段不可用的信息。
8.如权利要求6所述的装置,其中,所述输入数据是在所述寄存器单元更新时,通过利用散列函数转换所述更新数据生成的。
9.一种用于处理装置的验证方法,包括:
10.一种其上存储有计算机可执行指令的计算机可读存储介质,其中所述计算机可执行指令在由处理电路执行时使所述处理电路执行以下操作: