siamumar / tinyAESLinks
☆20Updated 7 years ago
Alternatives and similar repositories for tinyAES
Users that are interested in tinyAES are comparing it to the libraries listed below
Sorting:
- CocoAlma is an execution-aware tool for formal verification of masked implementations☆23Updated 11 months ago
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆65Updated 2 years ago
- Technology dependent cells instantiated in the design for generic process (simulation, FPGA)☆65Updated 7 months ago
- RPHAX provides a quick automation flow to develop and prototype hardware accelerators on Xilinx FPGAs. Currently, the framework has suppo…☆20Updated 2 years ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆66Updated 7 months ago
- CoPHEE is a Co-processor for Partially Homomorphic Encrypted Encryption.☆33Updated last year
- For contributions of Chisel IP to the chisel community.☆65Updated 10 months ago
- C/Assembly macros for talking with Rocket Custom Coprocessors (RoCCs)☆54Updated 5 years ago
- Generator of arithmetic circuits (multipliers, adders) and approximate circuits☆36Updated last month
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆35Updated 4 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆66Updated this week
- The multi-core cluster of a PULP system.☆108Updated last week
- 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
- Wallace and Dadda tree multiplier generator in vhdl and verilog☆12Updated 8 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆89Updated last year
- Hardware Formal Verification☆15Updated 5 years ago
- C++ and Verilog to implement AES128☆22Updated 7 years ago
- Proposed RISC-V Composable Custom Extensions Specification☆71Updated 2 months ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆24Updated 6 years ago
- OPAE porting to Xilinx FPGA devices.☆39Updated 5 years ago
- True Random Number Generator core implemented in Verilog.☆76Updated 4 years ago
- A synthesis flow for hybrid processing-in-RRAM modes☆12Updated 4 years ago
- Heterogeneous Research Platform (HERO) for exploration of heterogeneous computers consisting of programmable many-core accelerators and a…☆111Updated 2 years ago
- ☆20Updated 2 years ago
- ☆80Updated last year
- Open Source PHY v2☆30Updated last year
- Basic Common Modules☆44Updated 3 weeks ago
- Plugins for Yosys developed as part of the F4PGA project.☆84Updated last year
- Implementation of the Advanced Encryption Standard in Chisel☆19Updated 3 years ago
- pulp_soc is the core building component of PULP based SoCs☆80Updated 6 months ago