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 249
- Downloads 0
Developing Activities for Teaching Cloud Computing and Virtualization
Cloud computing and virtualization are new but indispensable components of computer engineering and information systems curricula for universities and higher education institutions. Learning about these topics is importa...
Electrical Trees in a Composite Insulating System Consisted of Epoxy Resin and Mica: The Case of Multiple Mica Sheets For Machine Insulation
Epoxy resin and mica sheets consist the essential insulation of rotating machine stator bars. Such an insulation, although very resistant to partial discharges, is subjected to considerable electrical stresses and conseq...
Impacts of Soil Contamination on the Response of Piles Foundation under a Combination of Loading
The behavior of single piles driven into contaminated clayey soil samples subjected to a combination of static axial and cyclic lateral loadings have been studied in this research. A laboratory model was manufactured esp...
A Survey and Analysis of the Relationship between Human Resources Management and Organizational Performance
This study aims to evaluate the relationship between human resources management and organizational performance with emphasis on the mediating role of organizational innovation. The study methodology is descriptive-correl...
Isolation of Crude Oil from Polluted Waters Using Biosurfactants Pseudomonas Bacteria: Assessment of Bacteria Concentration Effects
Biological decomposition techniques and isolation of environmental pollutions using biosurfactants bacteria are effective methods of environmental protection. Surfactants are amphiphilic compounds that are produced by lo...