secworks / sha3Links
FIPS 202 compliant SHA-3 core in Verilog
☆23Updated 5 years ago
Alternatives and similar repositories for sha3
Users that are interested in sha3 are comparing it to the libraries listed below
Sorting:
- ☆82Updated last year
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆36Updated last year
- Chisel implementation of AES☆24Updated 5 years ago
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆24Updated last year
- VexRiscv reference platforms for the pqriscv project☆16Updated last year
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆42Updated 5 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆55Updated 5 years ago
- ☆20Updated 5 years ago
- AMC: Asynchronous Memory Compiler☆52Updated 5 years ago
- Chisel Cheatsheet☆34Updated 2 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆98Updated last year
- The SpinalHDL design of the Proteus core, an extensible RISC-V core.☆61Updated 3 weeks ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆45Updated last year
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆39Updated 5 months ago
- Examples for creating AXI-interfaced peripherals in Chisel☆75Updated 10 years ago
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated last month
- Project repo for the POSH on-chip network generator☆52Updated 10 months ago
- sram/rram/mram.. compiler☆45Updated 2 years ago
- ☆68Updated 3 years ago
- a hardware design library based on SpinalHDL, especially for stream processing operators on Xilinx FPGAs for Arithmetic, DSP, Communicati…☆67Updated 2 years ago
- For contributions of Chisel IP to the chisel community.☆70Updated last year
- Chisel Fixed-Point Arithmetic Library☆17Updated last month
- The 3rd Iteration of the Berkeley RISC-V DMA Accelerator☆28Updated 6 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆44Updated 2 years ago
- A fault-injection framework using Chisel and FIRRTL☆36Updated 4 months ago
- Riscy Processors - Open-Sourced RISC-V Processors☆73Updated 6 years ago
- A configurable SRAM generator☆57Updated 5 months ago
- 4096bit RSA project, with verilog code, python test code, etc☆47Updated 6 years ago
- Runtime-First FPGA Interchange Routing Contest @ FPGA’24☆35Updated 7 months ago