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