CocoAlma is an execution-aware tool for formal verification of masked implementations

REBECCA is a tool for the formal verification of masked cryptographic hardware implementations that, given the netlist of a masked hardware circuit, determines if a correct separation between share…

The multi-core cluster of a PULP system.

pulp_soc is the core building component of PULP based SoCs

This is the top-level project for the PULP Platform. It instantiates a PULP open-source system with a PULP SoC (microcontroller) domain accelerated by a PULP cluster with 8 cores.

Yet Another Nand Dumper

Low-level NAND Flash dump and parsing utility

SCR1 is a high-quality open-source RISC-V MCU core in Verilog

Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.

OpenTitan: Open source silicon root of trust

⛔ DEPRECATED ⛔ RISC-V manycore accelerator for HERO, bigPULP hardware platform

⛔ DEPRECATED ⛔ HERO Software Development Kit