HLS4ML 复杂的 板上 取得 可行性 框架 使用 PYNQ 实验 KRIA 测试 兼容性 准确性 支持的 神经网络 FPGA 选择 模型的 最佳的 初始 GPU 部署 Z2 模型 变压器 参数