Loading [MathJax]/extensions/MathMenu.js
Towards assertion-based verification of heterogeneous system designs | IEEE Conference Publication | IEEE Xplore

Towards assertion-based verification of heterogeneous system designs


Abstract:

In this paper a comprehensive assertion-based verification methodology for the digital, analog and software domain of heterogeneous systems is presented. The proposed met...Show More

Abstract:

In this paper a comprehensive assertion-based verification methodology for the digital, analog and software domain of heterogeneous systems is presented. The proposed methodology combines a novel mixed-signal assertion language and the corresponding automatic verification algorithm. The algorithm translates the heterogeneous temporal properties into observer automata for a semi-formal verification. This enables automatic verification of complex heterogeneous properties that can not be verified by existing approaches. The experimental results show the integration of mixed-signal assertions into a simulation environment and demonstrate the broad applicability and the high value of the evolved solution.
Date of Conference: 08-12 March 2010
Date Added to IEEE Xplore: 29 April 2010
ISBN Information:

ISSN Information:

Conference Location: Dresden, Germany

References

References is not available for this document.