狮子:狮子漫游的地方:VELDT上的RISC-V-源码

所需积分/C币:5 2021-03-04 06:56:51 23KB ZIP
8
收藏 收藏
举报

狮子漫游的地方: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

...展开详情
立即下载 身份认证VIP会员低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 至尊王者

关注 私信
上传资源赚钱or赚积分
最新推荐
狮子:狮子漫游的地方:VELDT上的RISC-V-源码 5积分/C币 立即下载
1/0