1.3. Vivado FPGA programming environment