Hardware software co-design in Haskell
Hardware/Software Codesign: The Past, the Present, and Predicting the Future