Verification of heterogeneous systems: Theory and industrial experiences
Christoph Grimm, Emmanuelle Encrenaz · Forum on specification and Design Languages · 2013
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.