Main Content

Verification

Show equivalence between model and generated code

Code verification shows that the generated code correctly implements a model and does not contain unintended functionality. Through behavioral and structural comparisons, code verification demonstrates the equivalence between the model and generated object code.

Test numerical equivalence between your model (component) and generated code by comparing simulation results to results from execution of generated code in the target IDE.

Demonstrate the absence of unintended functionality by performing a traceability analysis. Generate reports that provide bidirectional traceability between model objects and generated code.

Categories

Featured Examples