Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

High-level verification

Related publications (4)

VHDL-AMS Virtual Prototyping of a Generator Circuit Breaker Ablation Monitoring System

Alain Vachoux, Juan Sebastian Rodriguez Estupinan, Yannick Maret

Generator Circuit Breakers (GCBs) are commonly used in electrical power generation systems to protect key equipment such as transformers and generators from damage due to overload or short-circuit. However the interruption and feeding of high currents lead ...

IEEE Conference Press2015

Efficient Modelling and Simulation Methodology for the Design of Heterogeneous Mixed-Signal Systems on Chip

Torsten Mähne

Systems on Chip (SoCs) and Systems in Package (SiPs) are key parts of a continuously broadening range of products, from chip cards and mobile phones to cars. Besides an increasing amount of digital hardware and software for data processing and storage, the ...

EPFL2011

Supporting Dimensional Analysis in SystemC-AMS

Alain Vachoux, Torsten Mähne

This paper will introduce new modeling capabilities for SystemC-AMS to describe energy conserving multi-domain systems in a formal and consistent way at a high level of abstraction. To this end, all variables and parameters of the system model need to be a ...

IEEE2009

Extending SystemC to Support Mixed Discrete-Continuous System Modeling and Simulation

Alain Vachoux

Systems on chip are more and more heterogeneous and include software, analog/RF and digital hardware, and non-electronic components such as sensors or actuators. The design and the verification of such systems require appropriate modeling means to deal wit ...

2005