Patent ID: 8250541
Filing Date: 2012-08-21
Classification: G06F

Abstract:
1. A method for verifying a software implementation generated from a model that includes a plurality of model elements, said method comprising: converting a model description into a textual representation of model elements and interconnections between the model elements; defining a series of assembler macros that implement the functionality of the model elements as sequences of assembly instructions for a target processor; compiling the textual representation into an object code image using the macros; describing the object code image in a context-free grammar; reproducing the model description from the object code image and the context-free grammar, wherein the context-free grammar is derived for reconstruction of the model directly from the macros; recompiling, by a reverse compiler, the reproduced model description into an executable object code image; and comparing the executable object code image from the reproduced model description to an executable object code image produced from an original model description.