COSEDA and research authors present a cross-domain assertion library for SystemC AMS models
A 2022 DVCon Europe paper by COSEDA Technologies and research-institute authors presents a heterogeneous assertion-based-verification library for mixed-signal virtual prototypes in SystemC AMS. The work-in-progress prototype targets interactions across software, transaction-level, digital, and analog domains. This records the published library and examples, not evidence of deployment by a semiconductor customer.
Evidence
A Cross-Domain Heterogeneous ABV Library for Mixed-Signal Virtual Prototypes in SystemC AMS ↗
The official proceedings record identifies Thilo Vörtler with COSEDA Technologies and describes the cross-domain SystemC AMS assertion library.
A Cross-domain Heterogeneous ABV-Library for Mixed-signal Virtual Prototypes in SystemC/AMS — paper ↗
The paper gives the COSEDA and research affiliations, cross-domain library design and case study, and identifies the library as a work-in-progress prototype with a subset of SVA operators.