HTCC: Haskell to Handel-C Compiler

Issam Ablak, A. Ablak

Research output: Contribution to conferencePaper

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.
Original languageAmerican English
Pages192-199.
StatePublished - 2016
EventThe 19th EUROMICRO Conference on Digital System Design, Limassol, Cyprus -
Duration: 1 Jan 20161 Jan 2016

Conference

ConferenceThe 19th EUROMICRO Conference on Digital System Design, Limassol, Cyprus
Period1/01/161/01/16

Fingerprint

Dive into the research topics of 'HTCC: Haskell to Handel-C Compiler'. Together they form a unique fingerprint.

Cite this