emsec / ImpeccableCircuitsLinks
Hardware designs for fault detection
☆18Updated 5 years ago
Alternatives and similar repositories for ImpeccableCircuits
Users that are interested in ImpeccableCircuits are comparing it to the libraries listed below
Sorting:
- Program to scan for malicious FPGA designs.☆14Updated 4 years ago
- Side-channel analysis setup for OpenTitan☆35Updated last month
- Cross-Domain DPA Attack on SAML11☆16Updated 6 years ago
- IP submodules, formatted for easier CI integration☆30Updated last year
- An LLVM based mini-C to Verilog High-level Synthesis tool☆37Updated 4 months ago
- Designs of first-order SCA-secure hardware implementations of AES encryption/decryptoin dedicated to Xilinx FPGAs (using BRAM)☆16Updated 4 years ago
- An open-source custom cache generator.☆34Updated last year
- Benchmarks for Yosys development☆24Updated 5 years ago
- PROLEAD - A Probing-Based Leakage Detection Tool for Hardware and Software☆40Updated 3 weeks ago
- Toolbox for advanced differential power analysis of symmetric key cryptographic algorithm implementations☆49Updated 6 years ago
- Open Source AES☆31Updated last year
- [HISTORICAL] A Lightweight (RISC-V) ISA Extension for AES and SM4☆36Updated 4 years ago
- A RISC-V SBC based around the LambdaConcept USB2Sniffer FPGA board.☆29Updated 5 years ago
- ESI is an FPGA connectivity system. It uses typed, latency-insensitive on-chip connections between ESI-enabled modules. It also bridges o…☆34Updated 4 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆106Updated 2 months ago
- ☆17Updated 2 years ago
- A reconfigurable logic circuit made of identical rotatable tiles.☆22Updated 3 years ago
- RISCV CPU implementation tutorial steps for Cologne Chip Gatemate E1, adopted from https://github.com/BrunoLevy/learn-fpga☆12Updated 4 months ago
- A collection of debugging busses developed and presented at zipcpu.com☆41Updated last year
- Experiments with Yosys cxxrtl backend☆49Updated 6 months ago
- A Verilog Synthesis Regression Test☆37Updated last year
- Hardware Design of Ascon☆23Updated 3 weeks ago
- Development Package for the Hardware API for Lightweight Cryptography☆16Updated 3 months ago
- Verilog implementation of the 32-bit version of the Blake2 hash function☆21Updated 3 months ago
- ☆12Updated 3 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆22Updated 9 months ago
- Full Speed USB DFU interface for FPGA and ASIC designs☆19Updated last year
- A RocketChip rv64imac blinky for yosys/nextpnr/trellis & the Lattice ECP5 fpga☆26Updated 5 years ago
- Collection of test cases for Yosys☆18Updated 3 years ago
- RiVer Core is an open source Python based RISC-V Core Verification framework.☆22Updated last month