在通信工程领域，Xilinx推出的zynq系列（包括UltraScale）广受好评，我觉得最关键的因素是“易用”。从软件工具Vivado（最新的版本还嵌入了MachineLearning来优化编译效率和速度）、到各种各样的软硬核，zynq系列以其巨大的优势在通信领域横行。
验证是确保设计和预定的设计期望一致的过程，设计期望通常是通过设计规范来定义的。对于芯片设计，在不同的阶段可以分为：寄存器传输级（RTL）的功能验证、门级的仿真验证、形式验证以及时序验证。我们通常所说的验证一般是指RTL验证。
新的开始，这一篇文章，就算是使用Vitis 开发 ZYNQ 的第一篇文章吧。作为第一篇文章，暂时先不涉及 ZYNQ 的 PS 部分，以传统 FPGA 的方式来做个小实验，在 PL 端实现按键控制 LED。
