狮子漫游的地方:VELDT上的RISC-V Lion是经过正式验证的5级流水线内核。 Lion以为目标,并使用在Haskell中编写。 该存储库包含三个部分: Lion库:流水线RISC-V内核。 :使用正式验证核心。 :片上系统,展示了VELDT上Lion内核的用法。 狮子图书馆 用法: 添加lion来构建Cabal文件的依赖部分 源文件中的import Lion.Core模块import Lion.Core 将core连接到内存和外围设备时,请确保单周期延迟。 特征 当前支持 架构:RV32I(无FENCE,ECALL,EBREAK) 未来支持 所有功能都将以可配置的方式添加,以扩展上述的基本RV32I配置 Zicsr,控制和状态寄存器(CSR)指令 企业社会责任寄存器 RV32IM 硬IP ALU