Xilinx 7 devices on macOS
Vivado doesn't run on macOS. GateLab now builds Xilinx designs on a Linux machine anyway, and it feels local.

Press Build in GateLab on the Mac:
- the project syncs to your Linux host over ssh
- Vivado runs there in batch mode
- the console streams back live
- errors land in Problems with file and line; the Report shows LUTs, flip-flops, block RAM and timing
- the bitstream comes back and programs the board from the Mac through a JTAG probe
- Cancel really stops Vivado on the host
Claude, GateLab's built-in agent, uses the same path: it builds, reads the errors and fixes the design.
First board: Seeed's Spartan Edge Accelerator (Spartan-7 XC7S15). A blinky builds in about 40 seconds on a small Debian box. Simulation stays local, in Icarus Verilog.
Available in GateLab Pro.
