Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions
المؤلفون المشاركون
Uchevler, Bahram N.
Svarstad, Kjetil
المصدر
International Journal of Reconfigurable Computing
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-25، 25ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-07-10
دولة النشر
مصر
عدد الصفحات
25
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice.
A reconfigurable hardware combines the flexibility of the software domain with the high performance of the hardware domain and provides a flexible life cycle management for the product with a lower cost.
A complete design and assertion-based verification flow for Run-Time Reconfigurable (RTR) designs using functional programming abstractions of Haskell are proposed in this article, in which partially reconfigurable hardware is used as the implementation platform.
The proposed flow includes modelling of RTR designs in high levels of abstraction by using higher-order functions and polymorphism in Haskell, as well as their implementation on partially reconfigurable Field Programmable Gate Arrays (FPGAs).
Assertion-based verification (ABV) is used as the verification approach which is integrated in the early stages of the design flow.
Assertions can be used to verify specifications of designs in different verification methods such as simulation-based and formal verification.
A partitioning algorithm is proposed for clustering the assertion-checker circuits to implement the verification circuits in a limited reconfigurable area in the target FPGA.
The proposed flow is evaluated by using example designs on a Zynq FPGA as the hardware/software implementation platform.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Uchevler, Bahram N.& Svarstad, Kjetil. 2018. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. International Journal of Reconfigurable Computing،Vol. 2018, no. 2018, pp.1-25.
https://search.emarefa.net/detail/BIM-1175514
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Uchevler, Bahram N.& Svarstad, Kjetil. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. International Journal of Reconfigurable Computing No. 2018 (2018), pp.1-25.
https://search.emarefa.net/detail/BIM-1175514
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Uchevler, Bahram N.& Svarstad, Kjetil. Modelling and Assertion-Based Verification of Run-Time Reconfigurable Designs Using Functional Programming Abstractions. International Journal of Reconfigurable Computing. 2018. Vol. 2018, no. 2018, pp.1-25.
https://search.emarefa.net/detail/BIM-1175514
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1175514
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر