Patent ID: 7328195
Filing Date: 2008-02-05
Classification: G06F

Abstract:
1. Instructions stored on a computer-readable medium for directing operation of a computer to semi-automatically create a behavioral representation of an electronic, mechanical or electra-mechanical circuit which can be manifest as text, the behavioral representation denoting mathematical or structural relationships between inputs, initial state and outputs of said circuit for purposes such as system-level modeling, formal verification and synthesis of alternative hardware implementations, wherein apparatus attached to the computer applies and measures physical quantities at a plurality of ports of an attached hardware device includes the ability to impose and measure physical quantities imposed on or generated by operations of said hardware device, the instructions further causing the computer to: (1) imposing physical quantities to the plurality of ports of the attached hardware device; (2) measuring physical quantities resulting from operation of the hardware device at the plurality of ports of the hardware device, (3) generating a best fit for the measured physical quantities to a plurality of candidate templates having parametric terms; (4) selecting among one or more templates by software defined comparisons which best fit the observed behavior of the hardware device to the parameterized templates and corresponding template values; (5) comparing the predicted behavior of each template together with parameters determined in steps (1), (2), (3), and (4), via methods such as simulation or formal verification with the physical quantities observed; (6) changing at least one of the parametric terms if the predicted physical quantities in step (5) differ from the measured physical quantities resulting from step (2); and (7) repeating steps (2) (3) (4) (5) and (6) until the predicted physical quantities are within predetermined tolerances from the measured physical quantities, for finishing the semi-automatically created behavioral representation equivalent to a textual representation of the hardware device in a structural or behavioral hardware description language.