Verification of Mixed-Signal Systems with Affine Arithmetic Assertions
المؤلفون المشاركون
Grimm, Christoph
Rathmair, Michael
Schupfer, Florian
Radojicic, Carna
المصدر
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-14، 14ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-04-28
دولة النشر
مصر
عدد الصفحات
14
التخصصات الرئيسية
العلوم الهندسية و تكنولوجيا المعلومات
الملخص 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.
نمط استشهاد جمعية علماء النفس الأمريكية (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
نمط استشهاد الجمعية الأمريكية للغات الحديثة (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
نمط استشهاد الجمعية الطبية الأمريكية (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
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-456415
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر