GuzTech / clisc-v

CLISC-V: A RISC-V (RV32I) processor written in CLaSH

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

CLISC-V: A RISC-V (RV32I) processor written in CLaSH

CLISC-V is a RISC-V processor that implements the RV32I instruction set. It is written in CLaSH, a functional hardware description language. The aim for this implementation is to be easy to read and straightforward.

Status

The following instructions have not yet been implemented:

  • LB(U), LH(U), LW
  • SB, SH, SW
  • FENCE, FENCE.I
  • ECALL, EBREAK
  • CSRR[W/S/C/WI/SI/CI]

The memory access subsystem has also not been implemented yet. The other instructions are implemented but have not been extensively tested. The goal is to use CLaSH to generate Verilog and use SymbiYosys and riscv-formal to formally verify the core.

License

CLISC-V is free and open hardware and is licensed under the ISC licence.

About

CLISC-V: A RISC-V (RV32I) processor written in CLaSH

License:ISC License


Languages

Language:Haskell 100.0%