![](/images/graphics-bg.png)
Simulation-Based Hardware Verification with a Graph-Based Specification
المؤلفون المشاركون
Chen, Shuming
Lv, Zhao
Wang, Yaohua
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2018، العدد 2018 (31 ديسمبر/كانون الأول 2018)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2018-02-08
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
Simulation-based verification continues to be the primary technique for hardware verification due to its scalability and ease of use; however, it lacks exhaustiveness.
Although formal verification techniques can exhaustively prove functional correctness, they are limited in terms of the scale of their design due to the state-explosion problem.
Alternatively, semiformal approaches can involve a compromise between scalability, exhaustiveness, and resource costs.
Therefore, we propose an event-driven flow graph-based specification, which can describe the cycle-accurate functional behaviors without the exploration of whole state space.
To efficiently generate input sequences according to the proposed specification, we introduce a functional automatic test pattern generation (ATPG) approach, which involves the proposed intelligent redundancy-reduction strategy to solve problems of random test vectors.
We also proposed functional coverage criterion based on the formal specification to support a more reliable measure of verification.
We implement a verification platform based on the proposed semiformal approach and compare the proposed semiformal approach with the constrained randomized test (CRT) approach.
The experiment results show that the proposed semiformal verification method ensures a more exhaustive and effective exploration of the functional correctness of designs under verification (DUVs).
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Lv, Zhao& Chen, Shuming& Wang, Yaohua. 2018. Simulation-Based Hardware Verification with a Graph-Based Specification. Mathematical Problems in Engineering،Vol. 2018, no. 2018, pp.1-10.
https://search.emarefa.net/detail/BIM-1208374
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Lv, Zhao…[et al.]. Simulation-Based Hardware Verification with a Graph-Based Specification. Mathematical Problems in Engineering No. 2018 (2018), pp.1-10.
https://search.emarefa.net/detail/BIM-1208374
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Lv, Zhao& Chen, Shuming& Wang, Yaohua. Simulation-Based Hardware Verification with a Graph-Based Specification. Mathematical Problems in Engineering. 2018. Vol. 2018, no. 2018, pp.1-10.
https://search.emarefa.net/detail/BIM-1208374
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1208374
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)