yaozhaosh / chisel-aesLinks
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
Sorting:
- ☆81Updated last year
- Implementation of the Advanced Encryption Standard in Chisel☆20Updated 3 years ago
- Examples for creating AXI-interfaced peripherals in Chisel☆77Updated 9 years ago
- A dynamic verification library for Chisel.☆152Updated 8 months ago
- ☆33Updated 3 months ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆85Updated last year
- (System)Verilog to Chisel translator☆115Updated 3 years ago
- Chisel Learning Journey☆109Updated 2 years ago
- ☆20Updated 5 years ago
- A Style Guide for the Chisel Hardware Construction Language☆108Updated 4 years ago
- Chisel components for FPGA projects☆125Updated last year
- This repository is dedicated to providing a comprehensive guide and practical examples for using VC Formal for formal verification. Our g…☆34Updated last year
- Lectures for the Agile Hardware Design course in Jupyter Notebooks☆101Updated last month
- Port fpga-zynq (rocket-chip) to Xilinx ZYNQ Ultrascale+ board (ZCU102)☆62Updated 2 years ago
- educational microarchitectures for risc-v isa☆66Updated 6 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆65Updated 2 months ago
- a hardware design library based on SpinalHDL, especially for stream processing operators on Xilinx FPGAs for Arithmetic, DSP, Communicati…☆62Updated last year
- Tests for example Rocket Custom Coprocessors☆75Updated 5 years ago
- ☆22Updated 4 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆106Updated 2 months ago
- Prototype-network-on-chip (ProNoC) is an EDA tool that facilitates prototyping of custom heterogeneous NoC-based many-core-SoC (MCSoC).☆58Updated this week
- Synopsys Verdi applet that presents a view of the source code running on a RISC-V processor with a simulation waveform.☆32Updated 5 years ago
- YosysHQ SVA AXI Properties☆41Updated 2 years ago
- This repository contains the verification suite for verifying Berkeley Out-of-Order Machine (BOOM) against transient execution attacks ba…☆18Updated 2 years ago
- Provides dot visualizations of chisel/firrtl circuits☆120Updated 2 years ago
- Setup scripts and files needed to compile CoreMark on RISC-V☆69Updated 11 months ago
- Pure digital components of a UCIe controller☆64Updated last week
- ☆97Updated last year
- ☆40Updated last month
- Wrapper for Rocket-Chip on FPGAs☆135Updated 2 years ago