A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS

Muhammad Hassan; Thilo Vörtler; Karsten Einwich; Rolf Drechsler; Daniel Große

A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS

Muhammad Hassan, Thilo Vörtler, Karsten Einwich, Rolf Drechsler, Daniel Große

Research output: Chapter in Book/Report/Conference proceeding › Conference proceedings › peer-review

Abstract

In this paper we discuss how assertions can be applied for the design and verification of mixed-signal virtual prototypes based on SystemC/AMS [1][2]. In particular, we propose a SystemC assertions library with a user-friendly API which enables specification of complex mixed-signal behaviors. We show that the assertions library is designed to handle heterogeneous systems containing mixed-signal characteristics, transactions, and software. Furthermore, we explain how assertions can be easily and intuitively used to specify the DUV behavior across multiple domains. Using ARM Fast Models-based temperature control system we show how our proposed SystemC assertions library can be used to verify the DUV.

Original language	English
Title of host publication	Design and Verification Conference and Exhibition Europe 2022
Number of pages	8
Publication status	Published - Dec 2022

Fields of science

202005 Computer architecture
202017 Embedded systems
102 Computer Sciences
102005 Computer aided design (CAD)
102011 Formal languages

JKU Focus areas

Digital Transformation

Cite this

@inproceedings{81862fabeeda425c9ed29b9458650da9,

title = "A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS",

abstract = "In this paper we discuss how assertions can be applied for the design and verification of mixed-signal virtual prototypes based on SystemC/AMS [1][2]. In particular, we propose a SystemC assertions library with a user-friendly API which enables specification of complex mixed-signal behaviors. We show that the assertions library is designed to handle heterogeneous systems containing mixed-signal characteristics, transactions, and software. Furthermore, we explain how assertions can be easily and intuitively used to specify the DUV behavior across multiple domains. Using ARM Fast Models-based temperature control system we show how our proposed SystemC assertions library can be used to verify the DUV.",

author = "Muhammad Hassan and Thilo V{\"o}rtler and Karsten Einwich and Rolf Drechsler and Daniel Gro{\ss}e",

year = "2022",

month = dec,

language = "English",

booktitle = "Design and Verification Conference and Exhibition Europe 2022",

}

TY - GEN

T1 - A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS

AU - Hassan, Muhammad

AU - Vörtler, Thilo

AU - Einwich, Karsten

AU - Drechsler, Rolf

AU - Große, Daniel

PY - 2022/12

Y1 - 2022/12

N2 - In this paper we discuss how assertions can be applied for the design and verification of mixed-signal virtual prototypes based on SystemC/AMS [1][2]. In particular, we propose a SystemC assertions library with a user-friendly API which enables specification of complex mixed-signal behaviors. We show that the assertions library is designed to handle heterogeneous systems containing mixed-signal characteristics, transactions, and software. Furthermore, we explain how assertions can be easily and intuitively used to specify the DUV behavior across multiple domains. Using ARM Fast Models-based temperature control system we show how our proposed SystemC assertions library can be used to verify the DUV.

AB - In this paper we discuss how assertions can be applied for the design and verification of mixed-signal virtual prototypes based on SystemC/AMS [1][2]. In particular, we propose a SystemC assertions library with a user-friendly API which enables specification of complex mixed-signal behaviors. We show that the assertions library is designed to handle heterogeneous systems containing mixed-signal characteristics, transactions, and software. Furthermore, we explain how assertions can be easily and intuitively used to specify the DUV behavior across multiple domains. Using ARM Fast Models-based temperature control system we show how our proposed SystemC assertions library can be used to verify the DUV.

UR - https://ics.jku.at/files/2022DVCon_Heterogeneous-ABV-Library_SystemC.pdf

M3 - Conference proceedings

BT - Design and Verification Conference and Exhibition Europe 2022

ER -

A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS

Abstract

Fields of science

JKU Focus areas

Other files and links

Cite this