cliffordwolf / xbitmanip
RISC-V XBitmanip Extension
☆27Updated 5 years ago
Alternatives and similar repositories for xbitmanip:
Users that are interested in xbitmanip are comparing it to the libraries listed below
- An executable specification of the RISCV ISA in L3.☆41Updated 5 years ago
- Weekly RISC-V Newsletter☆28Updated 6 years ago
- Top-Level Project for Firebox SoC, consisting of Rocket, BOOM, and peripherals (e.g. Ethernet NIC). This is the default target generator …☆56Updated 5 years ago
- A formal spec of the RISC-V Instruction Set Architecture, written in Bluespec BSV (executable, synthesizable)☆20Updated 7 years ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆33Updated 8 years ago
- The BERI and CHERI processor and hardware platform☆47Updated 7 years ago
- Z-scale Microarchitectural Implementation of RV32 ISA☆55Updated 7 years ago
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆35Updated 3 years ago
- Open Processor Architecture☆26Updated 8 years ago
- The preliminary 'RISC-V microcontroller profile' specs; for convenience, use markdown.☆27Updated 3 years ago
- The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, mod…☆76Updated 4 years ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 5 years ago
- Zephyr port to riscv architecture☆24Updated 7 years ago
- A time-predictable processor for mixed-criticality systems☆57Updated 3 months ago
- ☆63Updated 6 years ago
- A Verilog Synthesis Regression Test☆35Updated 10 months ago
- LatticeMico32 soft processor☆104Updated 10 years ago
- Mutation Cover with Yosys (MCY)☆81Updated this week
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆138Updated last week
- A 32-bit RISC-V processor for mriscv project☆58Updated 7 years ago
- A scala based simulator for circuits described by a LoFirrtl file☆47Updated 2 years ago
- Project X-Ray Database: XC7 Series☆65Updated 3 years ago
- Locus site for Public Review of Several RISC-V ISA Formal Specs☆73Updated 4 years ago
- CHERI-RISC-V model written in Sail☆57Updated last week
- Verilog FPGA Parts Library. Old Octavo soft-CPU project.☆72Updated 5 years ago
- SoftCPU/SoC engine-V☆54Updated last year
- PicoRV☆44Updated 4 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆166Updated 6 months ago
- A port of FreeRTOS for the RISC-V ISA☆75Updated 5 years ago
- ☆44Updated last month