newaetech / sonata-pcb
Design files and associated documentation for Sonata PCB, part of the Sunburst Project
☆14Updated 2 weeks ago
Alternatives and similar repositories for sonata-pcb:
Users that are interested in sonata-pcb are comparing it to the libraries listed below
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆38Updated this week
- A demo system for Ibex including debug support and some peripherals☆61Updated 5 months ago
- Proposed RISC-V Composable Custom Extensions Specification☆69Updated 9 months ago
- ☆31Updated last month
- A SystemVerilog source file pickler.☆54Updated 3 months ago
- ☆17Updated this week
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆65Updated 5 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆75Updated 10 months ago
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆46Updated this week
- ☆24Updated 2 weeks ago
- Bitstream relocation and manipulation tool.☆43Updated 2 years ago
- SystemVerilog frontend for Yosys☆71Updated 2 weeks ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆30Updated last week
- HW Design Collateral for Caliptra RoT IP☆83Updated this week
- Constrained RAndom Verification Enviroment (CRAVE)☆17Updated last year
- Making cocotb testbenches that bit easier☆27Updated last month
- ☆11Updated last month
- SystemVerilog Functional Coverage for RISC-V ISA☆25Updated 4 months ago
- An open source generator for standard cell based memories.☆13Updated 8 years ago
- A PULP SoC for education, easy to understand and extend with a full flow for a physical design.☆49Updated this week
- Virtual processor co-simulation element for Verilog, VHDL and SystemVerilog environments☆52Updated this week
- YosysHQ SVA AXI Properties☆37Updated 2 years ago
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆25Updated 4 years ago
- ☆32Updated 4 months ago
- SCARV: a side-channel hardened RISC-V platform☆24Updated 2 years ago
- RISC-V eXtension interface that provides a generalized framework suitable to implement custom coprocessors and ISA extensions☆60Updated 8 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆63Updated 2 years ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated last year
- ☆26Updated 3 years ago