Skip to content
0:00 / 0:00

#fhw#verilog#vhdl

Translating Haskell to Hardware

NYC Haskell User's Group

1.7K subscribers • 23 videos on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • Presented by Lianne Lairmore

Advanced. Deep dive for people who know the field.

6.3K views10 years ago2 recommendations

HardwareProgramming languagesFPGAs and digital designCompilers and interpretersHaskell

Lianne Lairmore presents FHW, an intermediate representation and compiler for translating Haskell code directly into hardware designs like FPGAs.

Lianne Lairmore New York Haskell Meetup (meetup.com/NY-Haskell/even...) 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.

Why it's here

2 people recommend this

What people say. Recommended as an interesting talk on compiling functional languages to FPGA architectures.

u/recursion-ninjain r/haskell • Recommends

On “Isn't it really FPGA architecture the modern functional hardware?”

On February 24, 2016 Lianne Lairmore gave a talk about her preliminary PhD work to the New York Haskell User Group. Her research involved translating Haskell to hardware, specifically she comments on targeting FPGAs. You can view her talk here: link to this video She also authored this related paper: http://www.cs.columbia.edu/~%20sedwards/papers/zhai2015hardware-tr.pdf I also found this more recent (pay walled) paper which cites her above paper: https://dl.acm.org/citation.cfm?id=3122970 I hope these references give you a good starting point for understanding the techniques and challenges with translating a functional language to FPGAs.

u/mightybytein r/haskell • Recommends

NYHUG Translating Haskell to Hardware