![](/images/graphics-bg.png)
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions
Joint Authors
Grimm, Christoph
Rathmair, Michael
Schupfer, Florian
Radojicic, Carna
Source
Issue
Vol. 2013, Issue 2013 (31 Dec. 2013), pp.1-14, 14 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2013-04-28
Country of Publication
Egypt
No. of Pages
14
Main Subjects
Engineering Sciences and Information Technology
Abstract EN
Embedded systems include an increasing share of analog/mixed-signal components that are tightly interwoven with functionality of digital HW/SW systems.
A challenge for verification is that even small deviations in analog components can lead to significant changes in system properties.
In this paper we propose the combination of range-based, semisymbolic simulation with assertion checking.
We show that this approach combines advantages, but as well some limitations, of multirun simulations with formal techniques.
The efficiency of the proposed method is demonstrated by several examples.
American Psychological Association (APA)
Radojicic, Carna& Grimm, Christoph& Schupfer, Florian& Rathmair, Michael. 2013. Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design،Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-456415
Modern Language Association (MLA)
Radojicic, Carna…[et al.]. Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design No. 2013 (2013), pp.1-14.
https://search.emarefa.net/detail/BIM-456415
American Medical Association (AMA)
Radojicic, Carna& Grimm, Christoph& Schupfer, Florian& Rathmair, Michael. Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design. 2013. Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-456415
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-456415