ESL verification tools & topics

Verification of Analog Mixed Signal (AMS) Systems

We provide an overview on our approaches of Analog Mixed Signal (AMS) systems. Many of them target SystemC AMS-based Virtual Prototypes (VPs), but the solutions can help significantly when going down to lower levels of abstractions.

Metamorphic Testing

Advanced Coverage Techniques

Advanced CRV extending CRAVE

Testbench Qualification

For any questions or comments please contact us at

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