文件名称：狮子：狮子漫游的地方：VELDT上的RISC-V
文件大小：23KB
文件格式：ZIP
更新时间：2024-03-24 00:43:31
haskell * risc-v veldt Haskell
狮子漫游的地方：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
【文件预览】：
lion-main
----.gitignore(231B)
----src()
--------Lion()
----lion-soc()
--------app()
--------lion-soc.cabal(1KB)
--------src()
--------Soc.pcf(81B)
--------CHANGELOG.md(111B)
--------bios()
--------cabal.project(131B)
--------README.md(1KB)
----LICENSE(1KB)
----CHANGELOG.md(106B)
----cabal.project(103B)
----.gitmodules(148B)
----.github()
--------workflows()
----README.md(2KB)
----lion-formal()
--------app()
--------src()
--------lion-formal.cabal(1KB)
--------CHANGELOG.md(114B)
--------cabal.project(134B)
--------riscv-formal()
--------README.md(283B)
----lion.cabal(2KB)