本项目展示了在FPGA上使用CλaSH进行数值数学的精度检验代码。适用于Quartus 14.0和15.0版本，已在Cyclone V SX SoC-5CSXFC6D6F31C6N上进行了编译。您可以从指定网站获取编译后的图像。为了在支持轻量级Avalon桥接接口的其他SoC上运行，您需要重新生成IO VHDL模块，方法是加载Quartus的Qsys系统中的memory_io.qsys并生成新的桥接文件。项目包含一个run.sh文件，集成了从CλaSH到FPGA的工具链，确保SoC具有活动的以太网连接，并在run.sh中更改IP地址和端口。此外，还包含性能比较测试用的Haskell和C++代码，以及用于从HPS控制FPGA并加载编程文件的C++代码。最后，还提供了解决Haskell中ODE问题的图像文件，可通过HPS加载到SoCKit FPGA中的内核文件。此外，还包含了将适当的Linux内核加载到SoCKit的实用程序文件和脚本。