Publikation
Towards System-level Assertions for Heterogeneous Systems
Muhammad Hassan; Thilo Voertler; Karsten Einwich; Rolf Drechsler; Daniel Große
In: 15th International Workshop on Boolean Problems (IWSBP). International Workshop on Boolean Problems (IWSBP-2022), September 22-23, Bremen, Germany, 2022.
Zusammenfassung
Heterogeneous systems are today System-on-Chips (SoCs) with integrated hardware and software, where the hardware consists of digital and Analog Mixed-Signal (AMS) parts. To manage the enormous verification challenges at the system-level, SystemC-based virtual prototyping is heavily employed. However, a practical system-level assertions library for heterogeneous systems is not available which prevents the full potential of AMS assertion-based verification from being exploited. In this paper, we present a system-level assertions library with an intuitive API, full SystemC compatibility, software and transaction support, and heterogenous characteristics, all mandatory to specify complex AMS behavior. We demonstrate our prototypical implementation for an industrial case-study using ARM fast models, a temperature software, environment models and control software and assertions. We will make our system-level assertions library available as open source.