Apr 28, 2015: Jan Kuper: Functional hardware design using Haskell

April 28, 2015Functional hardware design using Haskell
Room: Zi 5126Jan Kuper

The abstraction mechanisms available in traditional hardware design languages such as VHDL and Verilog are generally considered to be not strong enough to keep pace with the development of chip technology and it is widely recognised that a more mathematically oriented design language is needed. I will present a method to specify hardware in a dialect of the functional programming language. Many abstraction mechanisms of Haskell can be used, such as higher order functions, lambda abstraction, pattern matching, polymorphism. In the talk I will present several examples, which demonstrate that a functional language is not a bad choice for hardware design at all.