4 ms·

Chalmers univeristy has a HDL built as Haskell modules called Lava: http://www.cse.chalmers.se/edu/year/2012/course/_courses_2011/TDA956/Papers/Lava98.pdf http:

• l31g 12y ago
  Berkeley has Chisel where you write something like C + Scala and you get Verilog for hardware instantiation and C for verification https://chisel.eecs.berkeley.edu/ https://chisel.eecs.berkeley.edu/
  • zhemao 12y ago
    It actually is just Scala. The whole thing is a Scala DSL.
    • l31g 12y ago
      I thought you could write some modules in C
      • zhemao 12y ago
        I suppose you could, in practice, write modules for simulation in C or C++ and hook it up to the C++ code that the compiler generates. I doubt this is very useful in practice since you can't generate any Verilog from it.