Popular repositories Loading

1. cva6 cva6 Public

   Forked from openhwgroup/cva6

   The CORE-V CVA6 is an Application class 6-stage RISC-V CPU capable of booting Linux

   C++

2. axi axi Public

   Forked from pulp-platform/axi

   AXI SystemVerilog synthesizable IP modules and verification infrastructure for high-performance on-chip communication

   SystemVerilog

3. A-convolution-kernel-implemented-by-Vivado-HLS A-convolution-kernel-implemented-by-Vivado-HLS Public

   Forked from lirui-shanghaitech/A-convolution-kernel-implemented-by-Vivado-HLS

   This project implements a convolution kernel based on vivado HLS on zcu104

   C++

4. fpga_snark_prover fpga_snark_prover Public

   Forked from bsdevlin/fpga_snark_prover

   An acceleration engine for proving SNARKS over the bn128 curve, targeted for AWS FPGAs

   SystemVerilog

5. Readings-in-Computer-Architectures Readings-in-Computer-Architectures Public

   Forked from IAMAl/Readings-in-Computer-Architectures

   Readings in Computer Architectures

6. winterfell winterfell Public

   Forked from facebook/winterfell

   A STARK prover and verifier for arbitrary computations

   Rust