That is what UC Berkeley's Chisel (https://chisel.eecs.berkeley.edu/ https://chisel.eecs.berkeley.edu/) does, and it seems to be what CLaSH does as well. The is

That is what UC Berkeley's Chisel (https://chisel.eecs.berkeley.edu/ https://chisel.eecs.berkeley.edu/) does, and it seems to be what CLaSH does as well. The issue is the same as in the various compile-to-JS languages. The additional level of indirection can make things difficult to debug (and heaven knows HDL code is hard to debug already). Also, there is the issue of interfacing with third-party IP blocks or builtin FPGA hardware slices. You either have to stub these out in your high-level description or simulate using the generated HDL.