ESL verification tools & topics

What is this all about

This webpage provides verification solutions targeting SystemC-based Virtual Prototypes (VPs). In addition, methods are presented where theses VPs are leveraged to solve more general verification problems, enabled via the abstraction of Transaction Level Modeling (TLM).

In the menu on the right you can select information about our developments in:

Daniel Große, JKU Linz, Austria & DFKI Bremen, Germany
Vladimir Herdt, DFKI Bremen, Germany
Rolf Drechsler, University of Bremen & DFKI Bremen, Germany

Created by
Institute for
Complex Systems, JKU Linz
Johannes Kepler University Linz
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project CONFIRM Project CONVERS Project EffektiV Project SANITAS