ESL verification tools & topics

What is this all about

This webpage provides verification solutions for SystemC. In particular, SystemC Transaction Level Modeling (TLM) designs and virtual prototypes are targeted.

In the menu on the right you can select information about our approaches for:

Daniel Große and Rolf Drechsler
University of Bremen and DFKI

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by BMBF Project CONFIRM Project CONVERS Project EffektiV Project SANITAS