ug888I've just installed Vivado webpack 2014.2, obtained a license, and checked the license in the license manager. I began following the UG888 bft desn tutorial. I type: synth_desn -topThe sample desn used throughout this tutorial consists of a small desn called bft. There are several VHDL and Verilog source files in the bft desn, as well as an