![](/images/graphics-bg.png)
Formal ESL Synthesis for Control-Intensive Applications
Author
Source
Advances in Software Engineering
Issue
Vol. 2012, Issue 2012 (31 Dec. 2012), pp.1-30, 30 p.
Publisher
Hindawi Publishing Corporation
Publication Date
2012-06-27
Country of Publication
Egypt
No. of Pages
30
Main Subjects
Abstract 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.
American Psychological Association (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
Modern Language Association (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
American Medical Association (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
Data Type
Journal Articles
Language
English
Notes
Includes bibliographical references
Record ID
BIM-450321