Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions
المؤلفون المشاركون
Zhou, Ning
Li, Dakui
Gao, Xinyan
Wei, Jianchao
Wu, Jinzhao
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-06-11
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
الملخص EN
We introduce an approach exploiting the power of polynomial ring algebra to perform SystemVerilog assertion verification over digital circuit systems.
This method is based on Groebner bases theory and sequential properties checking.
We define a constrained 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 Groebner bases for concurrent SVAs checking.
Case studies show that computer algebra can provide canonical symbolic representations for both assertions and circuit designs and can act as a novel solver engine from the viewpoint of symbolic computation.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhou, Ning& Gao, Xinyan& Wu, Jinzhao& Wei, Jianchao& Li, Dakui. 2014. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-453522
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhou, Ning…[et al.]. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics No. 2014 (2014), pp.1-15.
https://search.emarefa.net/detail/BIM-453522
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhou, Ning& Gao, Xinyan& Wu, Jinzhao& Wei, Jianchao& Li, Dakui. Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-15.
https://search.emarefa.net/detail/BIM-453522
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-453522
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر