Patent ID: 6473746
Filing Date: 2002-10-29
Classification: G06F

Abstract:
A method of verifying the behavior of pretrained, static, feedforward neural network mapping software having a neural net mapping function Æ’(x) that is intended to replace look up table mapping software having a look up table mapping function &phgr;(x), said method comprising executing the following steps on the neural network mapping software and look up table mapping software in a digital computer:establishing a multi-axis rectangular domain including upper and lower limits of each axis to bound all input vectors x of both said look up table mapping function &phgr;(X) and said neural net mapping function Æ’(x); determining a set of test points within the rectangular domain based on said upper and lower limits of each axis; determining Lipschitz constant KÆ’ for said neural net mapping function Æ’(x); determining upper and lower value bounds of said neural net mapping function Æ’(x) for said domain based on a function of said set of test points and said Lipschitz constant KÆ’; and verifying the behavior of the neural network mapping software based on the determination of said upper and lower value bounds.