Jun 02, 2015: Jan Kupers: Functional hardware design using Haskell -- Continuation

June 02, 2015Functional hardware design using Haskell -- Continuation
Room: HB 2AJan Kupers

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.