Clash

Clash is based on a functinoal programming language Haskell and generates VHDL or Verilog. Haskell's static type checking catches many errors very early in the process.