![](/images/graphics-bg.png)
Functional Verification of High Performance Adders in COQ
المؤلفون المشاركون
Gu, Ming
Sun, Jiaguang
Wang, Qian
Song, Xiaoyu
المصدر
Journal of Applied Mathematics
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-9، 9ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-04-10
دولة النشر
مصر
عدد الصفحات
9
التخصصات الرئيسية
الملخص EN
Addition arithmetic design plays a crucial role in high performance digital systems.
The paper proposes a systematic method to formalize and verify adders in a formal proof assistant COQ.
The proposed approach succeeds in formalizing the gate-level implementations and verifying the functional correctness of the most important adders of interest in industry, in a faithful, scalable, and modularized way.
The methodology can be extended to other adder architectures as well.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wang, Qian& Song, Xiaoyu& Gu, Ming& Sun, Jiaguang. 2014. Functional Verification of High Performance Adders in COQ. Journal of Applied Mathematics،Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-453769
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wang, Qian…[et al.]. Functional Verification of High Performance Adders in COQ. Journal of Applied Mathematics No. 2014 (2014), pp.1-9.
https://search.emarefa.net/detail/BIM-453769
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wang, Qian& Song, Xiaoyu& Gu, Ming& Sun, Jiaguang. Functional Verification of High Performance Adders in COQ. Journal of Applied Mathematics. 2014. Vol. 2014, no. 2014, pp.1-9.
https://search.emarefa.net/detail/BIM-453769
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-453769
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)