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
An Investigation of Temperature and Wind Impact on ACSR Transmission Line Sag and Tension
Power transmission is mainly based on overhead transmission lines with conductors being supported by transmission towers. Transmission lines are subjected to environmental stress (temperature changes, winds, snow etc), h...
Effect of Soorh Metakaolin on Concrete Compressive Strength and Durability
Concrete durability is a key aspect for forecasting the expected life time of concrete structures. In this paper, the effect of compressive strength and durability of concrete containing metakaolin developed from a local...
A Reflectance Model for Relatively Clear and Turbid Waters
Accurate modeling of spectral remote sensing reflectance (Rrs) is of great interest for ocean colour studies in highly turbid and relatively clear waters. In this work a semianalytical model that simulates the spectral c...
Ductility Evaluation of Steel Structures with Reduced Beam Sections and Post-Tensioned Cables Using the Finite Element Method
Given the importance of structure strengthening, this research introduces a particular type of steel structure in which the reduced beam section and post-tensioned cables were used for creating centralized property and p...
A New Contribution in Reducing Electric Field Distribution Within/Around Medium Voltage Underground Cable Terminations
Ιn medium voltage cables, the stress control layers play an important part in controlling the electric field distribution around the medium voltage underground cable terminations. Underground cable accessories, used in m...