Patent ID: 6077303
Filing Date: 2000-06-20
Classification: G06F

Abstract:
A method for verifying that a system is hierarchically built from smaller components correctly implements a desired equation representative of the system, said method comprising the steps of:writing an equation for each component of the system in terms of its inputs and outputs that represents the operation executed by each component;mathematically linking the respective equations together according to the system hierarchy;applying a symbolic test vector to the mathematically linked equations;clocking the symbolic test vector through the mathematically linked equations to generate a symbolic equation at the output thereof;recording the symbolic equation generated at the output of the mathematically linked equations; andcomparing the symbolic equation with an equation that correctly represents the system using a symbolic manipulation tool;obtaining an indication of proper implementation of each of said components of said system from the step of comparing; andwherein if the comparison generates a zero difference, the system correctly implements the desired equation representative of the system, and vice-versa.