Yes, but there are many different fpga’s, many of which many verilog will run on, which to my mind makes the downsides of proprietyness low enough that this might be the sweet spot to stop at going down the stack..
however awesome an open source fabbed asic or fpga would be of course.