Hardware design with CλaSH

Speaker

Jan Kuper, University of Twente - the Netherlands -- 08-06-2015

Abstract

Mainstream hardware design languages such as VHDL and Verilog have poor abstraction mechanisms and many attempts are done to design so-called High Level Synthesis languages. Most of these languages take an imperative perspective whereas CλaSH, on the other hand, starts from a functional perspective and is based on the functional language Haskell. That starting point offers high level abstraction mechanisms such as polymorphism, type derivation, higher order functions. Besides, it offers a direct simulation environment, every CλaSH specification is an executable program.
During the presentation we will illustrate this with several examples such as elementary computational architectures, filters for signal processors, a simple processor.

Bio

Jan Kuper studied Logic and Mathematics and did his PhD under Henk Barendregt on the foundations of mathematics and computer science (1994). He worked in the areas of logic of language, theoretical computer science, and mathematical methods for architecture design. Currently he works at the Embedded Systems group of the University of Twente where he initiated the development of CλaSH.
His lecturing experience comprises philosophical and mathematical logic, imperative and functional programming languages, and design of digital architectures.

Slides

Will be available soon

CE Tweets