Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Verilog Coq Open Source Projects

Open source projects categorized as Verilog Coq
Categories > Hardware > Verilog
Koika ⭐ 84
A core language for rule-based hardware design 🦑
most recent commit 2 years ago
Homotopy ⭐ 76
Homotopy theory in Coq.
most recent commit 13 years ago
Vericert ⭐ 73
A formally verified high-level synthesis tool based on CompCert and written in Coq.
most recent commit 3 months ago
Cnn_open ⭐ 60
A hardware implementation of CNN, written by Verilog and synthesized on FPGA
most recent commit 5 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
Corn ⭐ 5
most recent commit 12 years ago
Rippling ⭐ 5
Sean Wilson's rippling plugin.
most recent commit 12 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.