公开(公告)号：US11763054B2

公开(公告)日：2023-09-19

申请号：US17384483

申请日：2021-07-23

Applicant: Imagination Technologies Limited

Inventor： Sam Elliott ,  Robert McKerney ,  Max Freiburghaus

IPC: G06F30/3323 ,  G06F119/16

CPC classification number: G06F30/3323 ,  G06F2119/16

Abstract: Methods and systems for verifying a hardware design for an integrated circuit that implements a function that is polynomial in an input variable x over a set of values of x. The method includes formally verifying that a first instantiation of the hardware design implements a function that is polynomial of degree k in x by formally verifying that for all x in the set of values of x the first instantiation of the hardware design has a constant kth difference; and verifying that a second instantiation of the hardware design generates an expected output in response to each of at least k different values of x in the set of values of x.