Hardcaml compiles to verilog and then you use the horrendous vendor toolchains.