HLS FPGA fpga zynq Verilog 随便写写 Flash NAND NOR 错误处理 trait object rust 回调 异步编程 const 泛型