Wu’s Characteristic Set Method for SystemVerilog Assertions Verification
المؤلفون المشاركون
Zhou, Ning
Wu, Jinzhao
Gao, Xinyan
Li, Dakui
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-14، 14ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-06-16
دولة النشر
مصر
عدد الصفحات
14
التخصصات الرئيسية
الملخص EN
We propose a verification solution based on characteristic set of Wu’s method towards SystemVerilog assertion checking over digital circuit systems.
We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied.
We present an algorithm framework based on the algebraic representations using characteristic set of polynomial system.
This symbolic algebraic approach is a useful supplement to the existent verification methods based on simulation.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Gao, Xinyan& Zhou, Ning& Wu, Jinzhao& Li, Dakui. 2013. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-494905
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Gao, Xinyan…[et al.]. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics No. 2013 (2013), pp.1-14.
https://search.emarefa.net/detail/BIM-494905
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Gao, Xinyan& Zhou, Ning& Wu, Jinzhao& Li, Dakui. Wu’s Characteristic Set Method for SystemVerilog Assertions Verification. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-14.
https://search.emarefa.net/detail/BIM-494905
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-494905
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر