Title :
Verification of heterogeneous systems: Theory and industrial experiences
Author :
Grimm, Christoph ; Encrenaz, Emmanuelle
Author_Institution :
TU Kaiserslautern
Abstract :
The verification of heterogeneous systems, in particular of analog/mixed-signal system, is still a problem. In this session the first two research papers describe new methods to verify analog/mixed-signal systems using an assertion-based approach. The last two papers give an insight into industrial practice.
Conference_Titel :
Specification & Design Languages (FDL), 2013 Forum on
Conference_Location :
Paris, France
