A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI
☆54Apr 14, 2026Updated 3 months ago
Alternatives and similar repositories for sonata-system
Users that are interested in sonata-system are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆135May 8, 2026Updated 3 months ago
- CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.☆35Jul 24, 2026Updated 2 weeks ago
- An open silicon CHERIoT Ibex microcontroller chip☆19May 23, 2025Updated last year
- Side-channel analysis setup for OpenTitan☆40Nov 3, 2025Updated 9 months ago
- Sail code model of the CHERIoT ISA☆50Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- SCARV: a side-channel hardened RISC-V platform☆23Mar 31, 2021Updated 5 years ago
- A demo system for Ibex including debug support and some peripherals☆98Jul 16, 2026Updated 3 weeks ago
- Testing processors with Random Instruction Generation☆61Jan 13, 2026Updated 6 months ago
- Tightly-coupled cache coherence unit for CVA6 using the ACE protocol☆38May 4, 2024Updated 2 years ago
- Deep Learning-based Framework for Side-Channel Analysis☆41Apr 22, 2022Updated 4 years ago
- go library for ChipWhisperer hardware security platform☆21Aug 1, 2019Updated 7 years ago
- Microkernel-based system for heterogeneous manycores☆14Jun 1, 2026Updated 2 months ago
- RISC-V BSV Specification☆24Apr 28, 2026Updated 3 months ago
- Open-source memory-mapped Ethernet MAC for FPGA with RGMII interface☆22Jul 27, 2026Updated 2 weeks ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆20Jul 22, 2026Updated 2 weeks ago
- Microarchitectural control flow integrity (𝜇CFI) verification checks whether there exists a control or data flow from instruction's ope…☆16Jul 2, 2026Updated last month
- A mixed-criticality platform built around Cheshire, with a number of safety/security and predictability features. Ready-to-use FPGA flow …☆127Updated this week
- Linux on RISC-V on FPGA (LOROF): RV64GC Sv39 Quad-Core Superscalar Out-of-Order Virtual Memory CPU☆18Updated this week
- This repository contains the CHERI extension specification, adding hardware capabilities to RISC-V ISA to enable fine-grained memory prot…☆118Updated this week
- Fork of github.com/UCSBarchlab/OpenTPU for the TGPTPU project☆15Jun 1, 2025Updated last year
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆20Updated this week
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆216Jul 31, 2026Updated last week
- Open tools for side-channel analysis and related techniques. Currently, this repository contains: 1) A near-field EM probe amplifier circ…☆38Dec 17, 2014Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Learning exercises for CHERI☆21Jun 30, 2025Updated last year
- Labs for the Ibex Demo System☆18Nov 18, 2023Updated 2 years ago
- [MIGRATED to https://codeberg.org/prjunnamed/prjunnamed] End-to-end synthesis and P&R toolchain☆95Mar 12, 2026Updated 4 months ago
- OpenTitan: Open source silicon root of trust☆3,581Updated this week
- ☆33Jan 7, 2025Updated last year
- Design of Analog Blocks in Skywaters 130nm meeting corners: different flavors of OTA, BandGap, LDO.☆32Jul 30, 2022Updated 4 years ago
- A reliable, real-time subsystem for the Carfield SoC☆21Dec 2, 2025Updated 8 months ago
- A ZipCPU SoC for the Nexys Video board supporting video functionality☆21Nov 13, 2024Updated last year
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆191Apr 4, 2026Updated 4 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆65Mar 31, 2025Updated last year
- A current mode buck converter on the SKY130 PDK☆39Jun 17, 2021Updated 5 years ago
- ☆23May 21, 2024Updated 2 years ago
- Design documents and interoperability tests for Interoperable RA-TLS projects☆15Jul 17, 2026Updated 3 weeks ago
- OpenExSys_NoC a mesh-based network on chip IP.☆21Dec 1, 2023Updated 2 years ago
- MultiZone® Security TEE for Arm® Cortex®-M is the quick and safe way to add security and separation to any Cortex-M based device. MultiZo…☆14Aug 21, 2023Updated 2 years ago
- A plugin for Ghidra for automatic analysis of the binding of individual registers and their layouts.☆17Dec 18, 2025Updated 7 months ago