riscv-software-src / riscv-unified-db
Machine-readable database of the RISC-V specification, and tools to generate various views
☆50Updated this week
Alternatives and similar repositories for riscv-unified-db:
Users that are interested in riscv-unified-db are comparing it to the libraries listed below
- RISC-V IOMMU Specification☆110Updated last week
- Unit tests generator for RVV 1.0☆79Updated last week
- Chisel RISC-V Vector 1.0 Implementation☆87Updated last month
- Spatz is a compact RISC-V-based vector processor meant for high-performance, small computing clusters.☆99Updated this week
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆88Updated last week
- RISC-V Formal Verification Framework☆129Updated 2 weeks ago
- A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code☆108Updated this week
- RISC-V Vector (RVV) Automatic Tests Generator with full instructions coverage, including self-checking test and signature test (RISC-V Co…☆14Updated 11 months ago
- ☆75Updated 5 months ago
- Testing processors with Random Instruction Generation☆35Updated 2 weeks ago
- This repository contains the specification source for the RISC-V IOPMP Specification. This document proposes a Physical Memory Protectio…☆27Updated this week
- Textbook and full source codes to learn basics of RISC-V pipelined CPU design using the Bluespec Hardware Design Language(s)☆69Updated 6 months ago
- ☆16Updated 2 weeks ago
- Nix template for the chisel-based industrial designing flows.☆36Updated last week
- ☆28Updated 3 months ago
- Repository containing the guide and code for booting RISC-V full system linux using gem5.☆50Updated 3 years ago
- A collection of tests and benchmarks for the Arc simulation backend of CIRCT☆27Updated last month
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆64Updated this week
- ☆38Updated last year
- high-performance RTL simulator☆154Updated 9 months ago
- DHLS (Dynamic High-Level Synthesis) compiler based on MLIR☆101Updated this week
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆88Updated last year
- ☆42Updated 3 years ago
- A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code…☆39Updated 5 months ago
- ☆150Updated last year
- ☆33Updated 8 months ago
- This specification is integrated into the Priv. and Unpriv. specifications. This repo is no longer maintained. Please refer to the Priv. …☆86Updated last month
- A libgloss replacement for RISC-V that supports HTIF☆28Updated 10 months ago
- Fuzzing General-Purpose Hardware Designs with Software Fuzzers☆16Updated 3 weeks ago
- (System)Verilog to Chisel translator☆112Updated 2 years ago