Design files and associated documentation for Sonata PCB, part of the Sunburst Project
☆22Apr 1, 2025Updated last year
Alternatives and similar repositories for sonata-pcb
Users that are interested in sonata-pcb are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A full micro-controller system utilizing the CHERIoT Ibex core, part of the Sunburst project funded by UKRI☆54Sep 4, 2026Updated 2 months ago
- Software, build flows and examples for the Sonata System☆15Sep 4, 2026Updated 2 months ago
- CHERI-enabled secure enclave that can be integrated as a subsytem on a system on chip.☆44Updated this week
- A RISC-V TestRIG Verification Engine based on QuickCheck☆12Oct 5, 2026Updated 3 weeks ago
- A demo system for Ibex including debug support and some peripherals☆106Jul 16, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆138Oct 26, 2026Updated last week
- Labs for the Ibex Demo System☆18Nov 18, 2023Updated 2 years ago
- Side-channel analysis setup for OpenTitan☆44Nov 3, 2025Updated last year
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆13Updated this week
- The purpose of the repo is to support CORE-V Wally architectural verification☆20Nov 11, 2025Updated 11 months ago
- A Python package for creating and solving constrained randomization problems.☆20Oct 16, 2026Updated 2 weeks ago
- An open source generator for standard cell based memories.☆14Sep 6, 2016Updated 10 years ago
- A Single-Stepping Framework for Side-Channel Analysis on Arm TrustZone-M☆26Jun 22, 2026Updated 4 months ago
- ☆33Jan 7, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Active loopstick antenna☆13Oct 1, 2025Updated last year
- Ghidra processor module for Toshiba TLCS-900/H☆12Oct 27, 2026Updated last week
- go library for ChipWhisperer hardware security platform☆21Aug 1, 2019Updated 7 years ago
- Automated eye tracking data quality determination for screen-based eye trackers☆10Oct 26, 2026Updated last week
- If you L O V E Kali Linux as well as me, this repo is for you!☆13May 17, 2021Updated 5 years ago
- 64-bit multicore Linux-capable RISC-V processor☆124Apr 28, 2025Updated last year
- High Assurance Cryptography☆18Updated this week
- ☆48Oct 6, 2026Updated 3 weeks ago
- A ROHD-based framework for connectivity and assembly of hardware designs.☆14Sep 9, 2026Updated last month
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- WSPR daemon for AirSpy receivers☆18Jul 3, 2016Updated 10 years ago
- Building Kotlin purely from sources☆14Jan 19, 2023Updated 3 years ago
- The RTOS components for the CHERIoT research platform☆169Updated this week
- ☆14Aug 17, 2026Updated 2 months ago
- OpenTestability is an open-source tool for structural analysis of digital circuits, enabling computation of SCOAP metrics, Controllibilit…☆20Updated this week
- Discover and enumerate all PLC devices and applications via a snap☆13May 28, 2018Updated 8 years ago
- Towards an Automated Triple Modular Redundancy (TMR) EDA flow for Yosys.☆12Aug 17, 2026Updated 2 months ago
- ☆20Dec 13, 2019Updated 6 years ago
- ☆16Nov 19, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆33Oct 21, 2026Updated 2 weeks ago
- A game of caverns and getting into them☆10Oct 15, 2021Updated 5 years ago
- Debug waveforms with GDB☆33Nov 12, 2025Updated 11 months ago
- LEIA: the Lab Embedded ISO7816 Analyzer A Custom Smartcard Reader for the ChipWhisperer PCB☆23Nov 9, 2021Updated 4 years ago
- RTL-to-GDS: syn -> sta -> pnr -> gds☆15Sep 1, 2026Updated 2 months ago
- GNU toolchain for PULP and RISC-V☆14Mar 15, 2025Updated last year
- Yosys RTLIL dialect for MLIR☆25Jun 12, 2025Updated last year