公开(公告)号：US08108745B2

公开(公告)日：2012-01-31

申请号：US12544722

申请日：2009-08-20

申请人： Timothy J. Kikta ,  Lucas Roosevelt ,  Eric R. Schneider

发明人： Timothy J. Kikta ,  Lucas Roosevelt ,  Eric R. Schneider

IPC分类号： G06F11/00

CPC分类号： G06F11/263

摘要： A method of functionally verifying a device under test having at least one processor and at least one memory is disclosed. The method includes creating verification data for the device under test using a constrained random verification data creation process executed on the at least one processor. The verification data includes input data and expected output data. The method further includes storing the verification data in the at least one memory. The method further includes processing the input data with the at least one processor to produce actual output data. The method further includes comparing the actual output data to the expected output data. When the actual output data does not equal the expected output data, the method further includes storing at least one inconsistency between the actual output data and the expected output data.

摘要翻译： 公开了一种对具有至少一个处理器和至少一个存储器进行功能验证的被测器件的方法。 该方法包括使用在至少一个处理器上执行的约束随机验证数据创建过程来创建被测设备的验证数据。 验证数据包括输入数据和预期输出数据。 该方法还包括将验证数据存储在至少一个存储器中。 该方法还包括用至少一个处理器来处理输入数据以产生实际的输出数据。 该方法还包括将实际输出数据与预期输出数据进行比较。 当实际输出数据不等于预期输出数据时，该方法还包括存储实际输出数据与预期输出数据之间的至少一个不一致。

公开(公告)号：US20110047428A1

公开(公告)日：2011-02-24

申请号：US12544722

申请日：2009-08-20

申请人： Timothy J. Kikta ,  Lucas Roosevelt ,  Eric R. Schneider

发明人： Timothy J. Kikta ,  Lucas Roosevelt ,  Eric R. Schneider

IPC分类号： G01R31/28

CPC分类号： G06F11/263

摘要： A method of functionally verifying a device under test having at least one processor and at least one memory is disclosed. The method includes creating verification data for the device under test using a constrained random verification data creation process executed on the at least one processor. The verification data includes input data and expected output data. The method further includes storing the verification data in the at least one memory. The method further includes processing the input data with the at least one processor to produce actual output data. The method further includes comparing the actual output data to the expected output data. When the actual output data does not equal the expected output data, the method further includes storing at least one inconsistency between the actual output data and the expected output data.

摘要翻译： 公开了一种对具有至少一个处理器和至少一个存储器进行功能验证的被测器件的方法。 该方法包括使用在至少一个处理器上执行的约束随机验证数据创建过程来创建被测设备的验证数据。 验证数据包括输入数据和预期输出数据。 该方法还包括将验证数据存储在至少一个存储器中。 该方法还包括用至少一个处理器来处理输入数据以产生实际的输出数据。 该方法还包括将实际输出数据与预期输出数据进行比较。 当实际输出数据不等于预期输出数据时，该方法还包括存储实际输出数据与预期输出数据之间的至少一个不一致。