RiscvSpecKami软件包提供SiFive的RISC-V处理器型号。使用Coq构建，该处理器模型可用于仿真、建模...，
The RiscvSpecKami package provides SiFive s RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools. (2023-08-18, Haskell, 0KB, 下载0次)