Abstract:With the advent of Model-Based Design and production code generation, the ability to demonstrate that the generated object code correctly implements the model used for code generation, i.e. to show the correctness of the model-to-code transformation result, becomes inherent. Various approaches to verify the model-to-code translation result in practice, i.e., to efficiently and effectively assess the correctness of translating real word Simulink models into embedded C code, have been proposed and applied by engineering professionals. Unfortunately, many of these approaches do not exploit the advantages of Model-Based Design and more or less carry out the translation validation of generated code in the same manner as for hand-written code. In this paper, the authors will present Code Generation Verification (CGV) an automated, testing-based approach to assess the numerical equivalence between Simulink models and the generated code. In the CGV approach, each individual model-tocode translation is followed by a verification phase to assess that the input (i.e., the Simulink model used for code generation) and the output (i.e., the target code produced during code generation and compilation) of this translation produce the same numerical results when stimulated with identical inputs. The paper describes the proposed verification approach, and illustrates it by using Simulink and Real-Time Workshop Embedded Coder. It also discusses this approach in the context of high-integrity application development by embedding it into code verification workflows for IEC 61508 and ISO 26262.

Using model-based test program generator for simulation validation

Test Program Generation for Microprocessor Verification Using Local Modeling Strategy

A Silicon-Validated Methodology for Power Delivery Modeling and Simulation

A C-based RTL design verification methodology for complex microprocessor

An Efficient Microprocessor Prototype Verification Methodology Based on Simics

A Verification Platform Based on Simics for Compatible Microprocessor

Model-Based Design for Processor-in-Loop Co-Simulation System

An Efficient Verification Method for Microprocessors Based on the Virtual Machine

Automatic Functional Test Program Generation for Microprocessor Verification

A Methodology for Performance Verification of Microprocessors.

Assisting Microprocessor Verification with Simics Simulator

Functional Verification Methodology of A 32-Bit Risc Microprocessor

VMSIM: Virtual Machine Based a Full System Simulation Platform for Microprocessors' Functional Verification

Runtime Verification of Analog and Mixed Signal Designs

Coverage Matrix based Evolutionary Test Program Generation for Microprocessor Verification

Module Verification of Microprocessor "Longteng R2"

Code Generation Verification – Assessing Numerical Equivalence between Simulink Models and Generated Code

Microprocessor Architectural Automatic Test Program Generation

The implementation method about verifying to VLIW DSP

Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Random Test Program Generator for Microprocessor Verification