![](/images/graphics-bg.png)
Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches
المؤلفون المشاركون
Zhou, Ning
Wu, Jinzhao
Gao, Xinyan
المصدر
Journal of Applied Mathematics
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-04-30
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
This work presents an efficient solution using computer algebra system to perform linear temporal properties verification for synchronous digital systems.
The method is essentially based on both Groebner bases approaches and symbolic simulation.
A mechanism for constructing canonical polynomial set based symbolic representations for both circuit descriptions and assertions is studied.
We then present a complete checking algorithm framework based on these algebraic representations by using Groebner bases.
The computational experience result in this work shows that the algebraic approach is a quite competitive checking method and will be a useful supplement to the existent verification methods based on simulation.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhou, Ning& Wu, Jinzhao& Gao, Xinyan. 2013. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. Journal of Applied Mathematics،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-459315
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhou, Ning…[et al.]. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. Journal of Applied Mathematics No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-459315
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhou, Ning& Wu, Jinzhao& Gao, Xinyan. Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches. Journal of Applied Mathematics. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-459315
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-459315
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)