CTSRD-CHERI / BlueStuffLinks
A Bluespec SystemVerilog library of miscellaneous components
☆18Updated 8 months ago
Alternatives and similar repositories for BlueStuff
Users that are interested in BlueStuff are comparing it to the libraries listed below
Sorting:
- RISC-V BSV Specification☆23Updated 5 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆50Updated 10 years ago
- Implementation of RISC-V RV32IM. Simple in-order 3-stage pipeline. Low resources (e.g., FPGA softcore).☆34Updated 9 years ago
- Mutation Cover with Yosys (MCY)☆88Updated last week
- ☆58Updated 3 years ago
- This is a Clang tool that parses SystemC models, and synthesizes Verilog from it.☆89Updated last year
- A place to share libraries and utilities that don't belong in the core bsc repo☆37Updated last month
- ☆31Updated 2 years ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 6 years ago
- Main page☆128Updated 5 years ago
- Builds, flow and designs for the alpha release☆54Updated 5 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆70Updated 5 months ago
- A time-predictable processor for mixed-criticality systems☆60Updated last year
- "Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)☆19Updated last year
- Open source RTL simulation acceleration on commodity hardware☆33Updated 2 years ago
- Xilinx Unisim Library in Verilog☆86Updated 5 years ago
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆30Updated 12 years ago
- Python interface to FPGA interchange format☆41Updated 3 years ago
- A RISC-V processor written in BSV, based on the Flute core. Has support for integrating tightly-coupled accelerators, and for integrating…☆24Updated 3 years ago
- An automatic clock gating utility☆51Updated 8 months ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆151Updated last month
- BSC Development Workstation (BDW)☆32Updated last month
- YosysHQ SVA AXI Properties☆43Updated 2 years ago
- This is mainly a simulation library of xilinx primitives that are verilator compatible.☆34Updated last year
- LIS Network-on-Chip Implementation☆34Updated 9 years ago
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆23Updated this week
- Cross EDA Abstraction and Automation☆40Updated 3 weeks ago
- OpenSoC Fabric - A Network-On-Chip Generator☆18Updated 8 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆43Updated 2 years ago
- Small SERV-based SoC primarily for OpenMPW tapeout☆47Updated 6 months ago