FHW Project : High-Level Hardware Synthesis from Haskell Programs