HOME       UP       PREV       NEXT (Other Expression forms: Logic Synthesis from Guarded Atomic Actions (Bluespec))  

Other Expression forms: Hardware Construction Languages

The generate statements in Verilog and VHDL are clunky imperative affairs.

How much nicer it is to print out your circuit using higher-order functional programs! That's the approach of Chisel, a DSL embedded in Scala.

Lava was the first HCL of this nature: 'Lava: Hardware Design in Haskell (1998)' by Per Bjesse, Koen Claessen, Mary Sheeran.


39: (C) 2012-17, DJ Greaves, University of Cambridge, Computer Laboratory.