License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-27911
URL: http://drops.dagstuhl.de/opus/volltexte/2010/2791/

Schupfer, Florian ; Grimm, Christoph

Towards more Dependable Verification of Mixed-Signal Systems

pdf-format:
Dokument 1.pdf (707 KB)


Abstract

The verification of complex mixed-signal systems is a challenge, especially considering the impact of parameter variations. Besides the established approaches like Monte-Carlo or Corner-Case simulation, a novel semi-symbolic approach emerged in recent years. In this approach, parameter variations and tolerances are maintained as symbolic ranges during numerical simulation runs by using affine arithmetic. Maintaining parameter variations and tolerances in a symbolic way significantly increases verification coverage. In the following we give a brief introduction and an overview of research on semi-symbolic simulation of both circuits and systems and discuss possible application for system level verification and optimization.

BibTeX - Entry

@InProceedings{schupfer_et_al:DSP:2010:2791,
  author =	{Florian Schupfer and Christoph Grimm},
  title =	{Towards more Dependable Verification of Mixed-Signal Systems},
  booktitle =	{Verification over discrete-continuous boundaries},
  year =	{2010},
  editor =	{Bernd Becker and Luca Cardelli and Holger Hermanns and Sofiene Tahar},
  number =	{10271},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2010/2791},
  annote =	{Keywords: Affine Arithmetic, Range based methods, Verification, Semi-symbolic simulation}
}

Keywords: Affine Arithmetic, Range based methods, Verification, Semi-symbolic simulation
Seminar: 10271 - Verification over discrete-continuous boundaries
Issue date: 2010
Date of publication: 02.11.2010


DROPS-Home | Fulltext Search | Imprint Published by LZI