Formal ESL Synthesis for Control-Intensive Applications
المؤلف
المصدر
Advances in Software Engineering
العدد
المجلد 2012، العدد 2012 (31 ديسمبر/كانون الأول 2012)، ص ص. 1-30، 30ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2012-06-27
دولة النشر
مصر
عدد الصفحات
30
التخصصات الرئيسية
الملخص EN
Due to the massive complexity of contemporary embedded applications and integrated systems, long effort has been invested in high-level synthesis (HLS) and electronic system level (ESL) methodologies to automatically produce correct implementations from high-level, abstract, and executable specifications written in program code.
If the HLS transformations that are applied on the source code are formal, then the generated implementation is correct-by-construction.
The focus in this work is on application-specific design, which can deliver optimal, and customized implementations, as opposed to platform or IP-based design, which is bound by the limits and constraints of the preexisting architecture.
This work surveys and reviews past and current research in the area of ESL and HLS.
Then, a prototype HLS compiler tool that has been developed by the author is presented, which utilizes compiler-generators and logic programming to turn the synthesis into a formal process.
The scheduler PARCS and the formal compilation of the system are tested with a number of benchmarks and real-world applications.
This demonstrates the usability and applicability of the presented method.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Dossis, Michael F.. 2012. Formal ESL Synthesis for Control-Intensive Applications. Advances in Software Engineering،Vol. 2012, no. 2012, pp.1-30.
https://search.emarefa.net/detail/BIM-450321
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Dossis, Michael F.. Formal ESL Synthesis for Control-Intensive Applications. Advances in Software Engineering No. 2012 (2012), pp.1-30.
https://search.emarefa.net/detail/BIM-450321
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Dossis, Michael F.. Formal ESL Synthesis for Control-Intensive Applications. Advances in Software Engineering. 2012. Vol. 2012, no. 2012, pp.1-30.
https://search.emarefa.net/detail/BIM-450321
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-450321
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر