Are HLS Tools Healthy? The C-Cubed Project
Journal Title: Engineering, Technology & Applied Science Research - Year 2015, Vol 5, Issue 2
Abstract
The increasing complexity of Application Specific Integrated Circuits (ASICs) and Systems-on-Chip (SoCs) that incorporate custom and standard embedded core IP blocks dictates the need for a new generation of automated and formal system EDA tools and methodologies. High-Level Synthesis (HLS) plays a critical role in the required Electronic System Level (ESL) methodologies. However, most of the available academic and commercial High-Level Synthesis (HLS) tools still do not play an established role in the system and hardware engineering teams. This is true for a number of practical reasons, analyzed and discussed in this work. The present article is a practical perspective of the required fully automated and formal tools, which are needed to constitute integral parts in Electronic Design Automation (EDA) flows. In addition, this article is a useful guide to the system engineer who wants to familiarize with HLS tools and to select the appropriate tool for the everyday engineering practice. The advanced HLS toolset that is analyzed in this paper is developed by the first author, its C-frontend by the second author, and they are both based on formal methods and fully automated techniques, thus they guarantee the correctness of the synthesized hardware implementations. This paper completes with a number of experiments that were executed using the author’s methodology and they are used to evaluate the specific HLS tools. Consequently, a number of conclusions are drawn as well as suggestions for the future directions of HLS technology. In this way, what is practically needed by the hardware systems engineering community is outlined at the end of the paper.
Authors and Affiliations
M. Dossis, G. Dimitriou
Keywords
Related Articles
- EP ID EP91071
- DOI -
- Views 298
- Downloads 0
Two-dimensional Numerical Estimation of Stress Intensity Factors and Crack Propagation in Linear Elastic Analysis
When the loading or the geometry of a structure is not symmetrical about the crack axis, rupture occurs in mixed mode loading and the crack does not propagate in a straight line. It is then necessary to use kinking crite...
A Single Sided Edge Marking Method for Detecting Pectoral Muscle in Digital Mammograms
In the computer-assisted diagnosis of breast cancer, the removal of pectoral muscle from mammograms is very important. In this study, a new method, called Single-Sided Edge Marking (SSEM) technique, is proposed for the i...
Correlation Between Grain Size Distribution and Silicon and Oxygen Contents at Wadi Arar Sediments, Kingdom of Saudi Arabia
Quartz is the major mineral of Wadi Arar sediments. The top two elements contents are oxygen with 63.96 wt%, followed by silicon with 16.35 wt%. There is a positive, weak to medium correlation between grain size and sili...
Outlining an Intelligent Tutoring System for a University Cooperation Information System
International opening of universities and research institutions is essential in the development of their research and innovation activities. Abdelmalek Essaadi University (AEU) attaches crucial importance to partnership...
A Simple Phase Shifting Technique for an Injection Locked Oscillator
In Self Oscillating systems, locking of the oscillators can take place for injected signals close in frequency to nth harmonics of the free-running frequency. In this paper, we present a simple design for digital phase s...