homebrew xilinx tools, including svf player