了解如何使用 Vivado HLS 提供的 C 库，来改善视频算法的设计捕获问题，以及在使用 C 数学函数进行设计时如何通过这些库来创建高效的方法。