Not to snipe this post or anything, but you can get a Xilinx zynq 7000/7010 on Aliexpress for ~$20 right now (likely old bitcoin mining boards being tossed).
I really hope yosys matures and is adopted in large numbers in industry, to become a de-facto gcc equivalent for FPGA compilation. Decoupling FPGA designs from the half-baked tools that vendors push out would be real progress.
Exciting times!