Back to Search
Start Over
HTCC: Haskell to Handel-C Hardware Compiler
HTCC: Haskell to Handel-C Hardware Compiler
- Source :
- DSD
- Publication Year :
- 2016
- Publisher :
- IEEE, 2016.
-
Abstract
- Functional programming languages, such as Haskell, enable simple, concise, and correct-by-construction hardware development. HTCC compiles a subset of Haskell to Handel-C language with hardware output. Moreover, HTCC generates VHDL, Verilog, EDIF, and SystemC programs. The design of HTCC compiler includes lexical, syntax and semantic analyzers. HTCC automates a transformational derivation methodology to rapidly produce hardware that maps onto Field Programmable Gate Arrays (FPGAs). HTCC is generated using ANTLR compiler-compiler tool and supports an effective integrated development environment. This paper presents the design rationale and the implementation of HTCC. Several sample generations of first-class and higher-order functions are presented. In-addition, a compilation case-study is presented for the XTEA cipher. The investigation comprises a thorough evaluation and performance analysis. The targeted FPGAs include Cyclone II, Stratix IV, and Virtex-6 from Altera and Xilinx.
- Subjects :
- business.industry
Computer science
05 social sciences
020207 software engineering
02 engineering and technology
computer.software_genre
SystemC
0502 economics and business
Stratix
VHDL
0202 electrical engineering, electronic engineering, information engineering
Verilog
Haskell
Compiler
business
Field-programmable gate array
computer
050203 business & management
Computer hardware
Handel-C
Hardware_LOGICDESIGN
computer.programming_language
Subjects
Details
- Database :
- OpenAIRE
- Journal :
- 2016 Euromicro Conference on Digital System Design (DSD)
- Accession number :
- edsair.doi...........aa29e305bb4998cbbe53e58e9dbc8870
- Full Text :
- https://doi.org/10.1109/dsd.2016.24