Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for verilog coq

coq x
verilog x
9 search results found
Koika ⭐ 84
A core language for rule-based hardware design 🦑
Homotopy ⭐ 76
Homotopy theory in Coq.
Vericert ⭐ 73
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Cnn_open ⭐ 60
A hardware implementation of CNN, written by Verilog and synthesized on FPGA
Fpga_threelevelstorage ⭐ 23
【原创，已被编入官方教材】Three-level storage subsystem(SD+DDR2 SDRAM+Cache), based on Nexys4 FPGA board. 同济大学计算机系统结构课程设计，FPGA三级存储子系统。
Friscv ⭐ 12
RISCV CPU implementation in SystemVerilog
Fpga Bicubic Interpolation ⭐ 10
use Verilog HDL implemente bicubic interpolation in FPGA
Corn ⭐ 5
Rippling ⭐ 5
Sean Wilson's rippling plugin.
Related Searches
Verilog Fpga (1,343)
Cpu Verilog (330)
Python Verilog (267)
Verilog Xilinx (265)
Verilog Vhdl (249)
Verilog Systemverilog (230)
Verilog Rtl (217)
C Plus Plus Verilog (187)
C Verilog (166)
Ocaml Coq (164)
1-9 of 9 search results
Privacy | About | Terms | Follow Us On Twitter

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