您好,欢迎光临本网站![请登录][注册会员]  

搜索资源列表

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

  2. 狮子漫游的地方:VELDT上的RISC-V Lion是经过正式验证的5级流水线内核。 Lion以为目标,并使用在Haskell中编写。 该存储库包含三个部分: Lion库:流水线RISC-V内核。 :使用正式验证核心。 :片上系统,展示了VELDT上Lion内核的用法。 狮子图书馆 用法: 添加lion来构建Cabal文件的依赖部分 源文件中的import Lion.Core模块import Lion.Core 将core连接到内存和外围设备时,请确保单周期延迟。 特征 当前支
  3. 所属分类:其它

    • 发布日期:2021-03-04
    • 文件大小:23552
    • 提供者:weixin_42151305