Pinned Repositories
synfi
OpenTitan FI formal verification framework
boom-template
A template for building new projects/platforms using the BOOM core.
chipwhisperer
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
coco-alma
ibex
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
lowrisc-chip
The root repo for lowRISC project and FPGA demos.
oak_weathershield
opentitan
OpenTitan: Open source silicon root of trust
scfi
synfi
OpenTitan FI formal verification framework
nasahlpa's Repositories
nasahlpa/oak_weathershield
nasahlpa/scfi
nasahlpa/synfi
OpenTitan FI formal verification framework
nasahlpa/boom-template
A template for building new projects/platforms using the BOOM core.
nasahlpa/chipwhisperer
ChipWhisperer - the complete open-source toolchain for side-channel power analysis and glitching attacks
nasahlpa/coco-alma
nasahlpa/ibex
Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
nasahlpa/lowrisc-chip
The root repo for lowRISC project and FPGA demos.
nasahlpa/opentitan
OpenTitan: Open source silicon root of trust
nasahlpa/ot-sca
Side-channel analysis setup for OpenTitan
nasahlpa/QARMA64
Implement QARMA block cipher in C
nasahlpa/riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC
nasahlpa/rocket-chip
Rocket Chip Generator
nasahlpa/sel4bench
sel4 benchmarking applications and support library.
nasahlpa/tagged_security_riscv
Implementation of Tagged Memory security policies into Rocket Core
nasahlpa/verilator
Verilator open-source SystemVerilog simulator and lint system
nasahlpa/yosys
Yosys Open SYnthesis Suite