COSEDA authors present a C++ assertion library for SystemC AMS verification
A DVCon Japan 2025 presentation by COSEDA Technologies authors describes a pure-C++ assertion library for SystemC AMS using templates and operator overloading to provide SVA-like expression of temporal properties, including support for timed-data-flow models. This records a presented library and its stated capabilities, not a semiconductor-customer deployment.
Evidence
DVCon Japan 2025 program ↗
The official program identifies the COSEDA SystemC AMS assertion-library presentation and dates it to August 20, 2025.
DVCon Japan 2025 proceedings ↗
The official proceedings identify Thilo Vörtler with COSEDA Technologies and describe the pure-C++ library, template and operator-overloading implementation, SVA-like expression, and timed-data-flow support.