Hardware synthesis of high-level C constructs
Data
2015Language
en
Soggetto
Abstract
In this paper, experiments with a useable C frontend for the CCC behavioural synthesis tools are presented and analysed. This tool combination is able to rapidly deliver provably-correct hardware implementations at the RTL level, from high-level, abstract, algorithmic executable specifications at the C program level. The used constructs are discussed and a number of experiments with the tool are outlined and evaluated. The contribution of the CCC tools are invaluable for implementing real-life applications in hardware involving models with complex control flow and rich in loops and arrays. The discussed experiments prove the tools useable. © 2015 ACM.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Massively parallel programming models used as hardware description languages: The OpenCL case
(2011)The problem of automatically generating hardware modules from high level application representations has been at the forefront of EDA research during the last few years. In this paper, we introduce a methodology to ... -
Synthesis of platform architectures from OpenCL programs
(2011)The problem of automatically generating hardware modules from a high level representation of an application has been at the research forefront in the last few years. In this paper, we use OpenCL, an industry supported ... -
Source-level compiler optimizations for high-level synthesis
(2016)With high-level synthesis becoming the preferred method for hardware design, tools that operate on high-level programming languages and optimize hardware output are crucial for successful synthesis. In high-level synthesis, ...