官方教程:《在 Pynq-Z2 HDMI 输出上生成视频输出》,含范例代码。