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 met...Show MoreMetadata
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.
Date of Conference: 24-26 September 2013
Date Added to IEEE Xplore: 28 October 2013
Electronic ISBN:978-2-9530504-8-6
Print ISSN: 1636-9874
Conference Location: Paris, France