• Intro
• Text Based, Mark-up Languages
• ISA DSLs, Format Specifications
• High Level Programming Languages
• References

Intro

Machine readable specification data, as discussed in this post. Not a comprehensive list, things are added as I find them.

Text Based, Mark-up Languages

• Official Data
  • RISC-V Opcodes, Part of RISC-V Tools.
• This Blog’s Data:
  • GitHub Repo.
  • Control and Status Registers.
  • Instructions and Opcodes
  • Registers, ISA Variants and Extensions

ISA DSLs, Format Specifications

Official :

• These are part of the RISC-V Task Group “Definition of Done” (DoD) so should be updated for new spec changes.
• Spike’s Instructions Reference (C++, via a custom API)
  • The “decode.h” defines an ad-hoc API, like a DSL.
  • The Operations are small code fragments that define instruction behaviour.
  • e.g. The MRET instruction
• Sail
  • About the “Sail” project / RISC-V ISA model.
  • The Base ISA
  • Example of using Sail to create a JIT based emulator: https://github.com/pydrofoil/pydrofoil

Others:

• CoreDSL (MiniRES)
  • Language Description
  • ISA Description Repo
  • RV32i
• nML
  • MicroTesk / RISC-V Project
  • RV32I
• L3
  • L3 RISC-V
  • The RISC-V Spec

High Level Programming Languages

• Haskell
  • Forvis:
    • Forvis RISC-V ISA
    • Base Integer ISA
  • Programming Languages and Verification Group at MIT CSAIL
    • RISC Semantics
    • Base Integer ISA
    • Coq Translation
• System Verilog
  • SymbioticEDA testbench for formal verification
  • RISC-V model
  • JAL Instruction

References

• Some info from this presentation