对实现在一个或多个输入变量中为多项式的函数的集成电路的硬件设计的验证

摘要

用于验证集成电路的硬件设计的方法和系统，所述集成电路对于x的值集合，实现在输入变量x中为多项式的函数。所述方法包括通过形式验证，对于x的所述值集合中的所有x，所述硬件设计的所述第一实例化具有恒定的kth差，来形式验证所述硬件设计的所述第一实例化实现在x中为k次多项式的函数；以及验证所述硬件设计的第二实例化响应于x的所述值集合中的x的至少k不同值中的每个值，生成预期的输出。