Translating Haskell to Hardware 

Lianne Lairmore
New York Haskell Meetup (www.meetup.com/...)
February 24, 2016
Despite years of research, most digital integrated circuits are still described in low-level register-transfer languages like Verilog and VHDL. Users must enumerate nearly every gate, wire, and flip-flop, something we would like to avoid in today's era of billion-transistor chips. Rather than have the developer express his or her computation in a hardware-oriented DSL, we propose that they describe their circuit using a standard, modern functional language such as Haskell. This talk presents a language, FHW, that is serves as an intermediate representation for a general Haskell-to-hardware compiler.