1.3. Vivado 2020.1 FPGA programming environment