Hardware software co-design in Haskell
C?aSH: Structural Descriptions of Synchronous Hardware Using Haskell