Hans

Please use the 0.9.1 release, if you want to try virtex. It contains the remaining Virtex support: https://github.com/openXC7/nextpnr-xilinx/releases/tag/0.9.1

@zerkman@pouet.chapril.org Yes, yosys is used for synthesis.