yaozhaosh / chisel-aes
Chisel implementation of AES
☆23Updated 5 years ago
Alternatives and similar repositories for chisel-aes:
Users that are interested in chisel-aes are comparing it to the libraries listed below
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- ☆20Updated 5 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆74Updated 9 years ago
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆26Updated last year
- a hardware design library based on SpinalHDL, especially for stream processing operators on Xilinx FPGAs for Arithmetic, DSP, Communicati…☆62Updated last year
- ☆80Updated last year
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆81Updated last year
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆17Updated 2 years ago
- ☆33Updated last month
- Universal Verification Methodology (UVM) base libraries, with edits for Verilator☆27Updated 4 years ago
- A Style Guide for the Chisel Hardware Construction Language☆107Updated 3 years ago
- A 32-bit RISC-V Processor Designed with High-Level Synthesis☆52Updated 5 years ago
- Port fpga-zynq (rocket-chip) to Xilinx ZYNQ Ultrascale+ board (ZCU102)☆61Updated 2 years ago
- General Purpose AXI Direct Memory Access☆49Updated 11 months ago
- Chisel Cheatsheet☆33Updated 2 years ago
- Contains FPGA benchmarks for Vivado HLS and Catapult HLS☆25Updated 4 years ago
- Advanced Architecture Labs with CVA6☆58Updated last year
- CHIPKIT: An agile, reusable open-source framework for rapid test chip development☆41Updated 4 years ago
- The PULP RI5CY core modified for Verilator modeling and as a GDB server.☆23Updated 6 years ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆56Updated last month
- Setup scripts and files needed to compile CoreMark on RISC-V☆65Updated 9 months ago
- YosysHQ SVA AXI Properties☆37Updated 2 years ago
- Tests for example Rocket Custom Coprocessors☆74Updated 5 years ago
- Project repo for the POSH on-chip network generator☆45Updated last month
- Platform Level Interrupt Controller☆40Updated 11 months ago
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆20Updated 6 years ago
- ☆55Updated 4 years ago
- Transactional Verilog design and Verilator Testbench for a RISC-V TensorCore Vector co-processor for reproducible linear algebra☆53Updated 3 years ago
- For contributions of Chisel IP to the chisel community.☆61Updated 5 months ago
- LIS Network-on-Chip Implementation☆29Updated 8 years ago