Patent Document ID: 6077303
Application ID: 09067216
Patent Flag: 1

Claim One:
1. 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; and comparing 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; and wherein if the comparison generates a zero difference, the system correctly implements the desired equation representative of the system, and vice-versa.