[发明专利]一种用于处理器算术逻辑单元指令的随机数验证方法

摘要

一种用于处理器算术逻辑单元指令的随机数验证方法，首先根据运算指令操作数长度，选取March元素序列，划分操作数存储单元，然后使用March元素序列，对操作数单元进行全排列填写，生成一组备选随机数，其次使用备选随机数，根据算术逻辑运算指令格式生成操作数组合，最后根据算术逻辑指令结构，将生成的操作数组合实例化为算术逻辑运算指令代码，并生成算术逻辑运算标准结果，进行自动对比验证。本发明测试用例根据写入和读出的关系，有针对性地选取随机数覆盖写入和读出不一致的故障代码，通过将处理器类比为一个存储器进行测试，把成熟的存储器测试方法引入到处理器测试中来，提高了随机数验证的针对性，同时降低了验证的成本。

主权项

一种用于处理器算术逻辑单元指令的随机数验证方法，其特征在于：步骤一，基于March算法，根据运算指令操作数长度L和测试工作量，划分操作数存储单元的W位/字长度，并选定数据背景；对W＝2n位/字的存储器，取log2W+1个数据背景，若W≠2n，取位/字的数据背景，并选择这组数据背景中的W位；步骤二，根据March算法原理，对选定的数据背景取反，使选定的数据背景和取反的数据背景共同组成March元素，得到B个March元素序列；步骤三，使用B个March元素序列，对个操作数单元进行全排列填写，得到一组个数的备选随机数集合T＝{Imm1,…,ImmN}；步骤四，根据验证对象的指令格式，从备选随机数集合中任意选取R个进行组合，得到M＝NR个测试随机数集合CT＝{[Immi1,…,ImmiR]|i＝1,…,M；Immi1,…,ImmiR∈T}；步骤五，根据算术逻辑指令结构，将CT实例化运行得到算术逻辑运算指令代码，并通过计算得出算术逻辑运算标准结果；步骤六，将CT实例化运行得到算术逻辑运算指令代码与计算得到的算术逻辑运算标准结果通过比较指令进行比较，自动判断对错，完成验证。