Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Fpga Coq Open Source Projects

Open source projects categorized as Fpga Coq
Categories > Hardware > Fpga
Upduino_v2_0 ⭐ 62
UPDuino v2.0 - PCB Design Files, Designs, Documentation
most recent commit 5 years ago
Cnn_open ⭐ 60
A hardware implementation of CNN, written by Verilog and synthesized on FPGA
most recent commit 5 years ago
Nand2coq ⭐ 38
Build an educational formally verified version of the Nand 2 Tetris course using Coq (and other formal tools).
most recent commit 2 years ago
Fpga_threelevelstorage ⭐ 23
【原创，已被编入官方教材】Three-level storage subsystem(SD+DDR2 SDRAM+Cache), based on Nexys4 FPGA board. 同济大学计算机系统结构课程设计，FPGA三级存储子系统。
most recent commit 4 years ago
Friscv ⭐ 12
RISCV CPU implementation in SystemVerilog
most recent commit 4 months ago
Fpga Bicubic Interpolation ⭐ 10
use Verilog HDL implemente bicubic interpolation in FPGA
most recent commit 4 years ago
Opae Xilinx ⭐ 10
OPAE porting to Xilinx FPGA devices.
most recent commit 4 years ago
Picodma Fpga ⭐ 7
most recent commit 4 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.