high-level-synthesis

Holoso
High-level synthesis of idiomatic Python into synthesizable and verifiable Verilog

Synthesijer
A compiler from Java to VHDL/Verilog-HDL