From what I can tell, the usual tools don’t run on macOS and I will need to set up a VM with Linux or Windows. Is anyone working with FPGAs on macOS? How did you set up your machine and what tools / boards do you use? Thank you.
However, you can use the open source Symbiflow toolchain (https://symbiflow.github.io) to develop Verilog-based systems (there's also a VHDL frontend now AFAIK) for Xilinx 7-Series, Lattice iCE40 and ECP5 FPGAs directly on macOS.
For symbiflow, I would recommend a Lattice-based board such as the ulx3s (https://radiona.org/ulx3s/) or icesugar-pro (https://github.com/wuxx/icesugar-pro), but the Xilinx Arty-7 boards also seem to be supported now.
I could recommend to take a look at their tutorials and see what's new/if there's support for newer boards.
But in terms of toolchain I really liked it and it worked flawlessly on Mac.