Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Hardware Coq Open Source Projects

Open source projects categorized as Hardware Coq
Categories > Hardware > Hardware
Kami ⭐ 149
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
most recent commit 4 years ago
Kami ⭐ 130
A Platform for High-Level Parametric Hardware Specification and its Modular Verification
most recent commit 6 months ago
Silveroak ⭐ 93
Formal specification and verification of hardware, especially for security and privacy.
most recent commit 2 years ago
Cnn_open ⭐ 60
A hardware implementation of CNN, written by Verilog and synthesized on FPGA
most recent commit 5 years ago
Riscvspecformal ⭐ 58
The RiscvSpecKami package provides SiFive's RISC-V processor model. Built using Coq, this processor model can be used for simulation, model checking, and semantics analysis. The RISC-V processor model can be output as Verilog and simulated/synthesized using standard Verilog tools.
most recent commit 4 years ago
Besspin Voting System Demonstrator 2019 ⭐ 10
The BESSPIN Voting System. This system is used to demonstrate and red team SSITH secure CPUs.
most recent commit 3 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.