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
Highly Compact Design of Trimmed Patch with Modified Partial Ground Structure for Extreme-Wideband Systems
In this paper, a novel highly compact microstrip monopole antenna with adjusted ground plane for ultra-wideband (UWB) applications is proposed. The patch antenna is composed of a trimmed radiator and rectangular ground p...
FEA Based on 3D Micro-CT Images of Mesoporous Engineered Hydrogels
The objective of this computational study was to propose a rapid procedure in obtaining an estimation of elastic moduli of solid phases of porous natural-polymeric biomaterials used for bone tissue engineering. This proc...
FMFinder: A Functional Module Detector for PPI Networks
Bioinformatics is an integrated area of data mining, statistics and computational biology. Protein-Protein Interaction (PPI) network is the most important biological process in living beings. In this network a protein mo...
Finite Element Based Response Surface Methodology to Optimize Segmental Tunnel Lining
The main objective of this paper is to optimize the geometrical and engineering characteristics of concrete segments of tunnel lining using Finite Element (FE) based Response Surface Methodology (RSM). Input data for RSM...
Motivation Factors for Adopting Building Information Modeling (BIM) in Iraq
Building information modeling (BIM) is an integrated and comprehensive system including whatever is related to a construction project and its stages. It represents a unified database for all project data through which pr...