摘要 |
A method for verifying a software implementation generated from a model that includes a plurality of model elements is described. The method includes 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 associated with a target processor using the macros, describing the object code image in a context-free grammar, and reproducing the model description from the object code image and the context-free grammar.
|