Export

BIB

All authors

Hylla, Kai and Oetjens, Jan-Hendrik and Nebel, Wolfgang

Booktitle

Specification, Verification and Design Languages, 2008. FDL 2008. Forum on

Abstract

Functional verification is a major part of today's system design task. Several approaches are available for verification on a high abstraction level, where designs are often modeled using MATLAB/Simulink, as well as for RT-level verification. Different approaches are a barrier to a unified verification flow. For simulation based RT-level verification, an extended test bench concept has been developed at Robert Bosch GmbH. This paper describes how this SystemC-based concept can be applied to Simulink models. The implementation of the resulting verification flow addresses the required synchronization of both simulation environments, as well as data type conversion. An example is used to evaluate the implementation and the whole verification flow. It is shown that using the extended verification flow saves a significant amount of time during development. Reusing test bench modules and test cases preserves consistency of the test bench. Verification is done automatically rather than by inspecting the waveform manually. The extended verification flow unifies system-level and RT-level verification, yielding a holistic verification flow.

Publishing date

09 / 2008

Type of Publication

inproceedings

Pages

221-226

Projects

ANDRES
Analysis and Design of run-time Reconfigurable, heterogeneous Systems