cocotb-coverage
Verification tools
Tools for enhanced verification of digital circuits
Functional Coverage and Constrained Randomization Extensions for Cocotb
106 stars
13 watching
16 forks
Language: Python
last commit: about 1 year ago
Linked from 1 awesome list
cocotbhdlmdvverification
ben-marshall/awesome-open-hardware-verificationRelated projects:
| Repository | Description | Stars |
|---|---|---|
 fvutils/pyvsc | Provides tools and techniques for generating testable digital circuits and analyzing their coverage | 115 |
 cocotb/cocotb | A Python library for writing and simulating digital circuits with testbenches | 1,842 |
 princetonuniversity/vst | A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant | 444 |
 iarcbioinfo/mpileup-nf | Computation pipeline for calculating genomic coverage from sequencing data using samtools mpileup | 1 |
 alexforencich/cocotbext-pcie | An open-source simulation framework for PCI express systems. | 141 |
 256dpi/arduino-mqtt | An MQTT client library for Arduino | 1,034 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 cfelton/rhea | A collection of MyHDL cores and tools for complex digital circuit design | 85 |
| alexforencich/cocotbext-eth | Provides Ethernet interface modules for Cocotb simulation | 56 |
 smtcoq/smtcoq | An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers | 157 |
| alexforencich/cocotbext-axi | AXI interface modules for Cocotb simulation models | 219 |
 huynhtrankhanh/coqcp | Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof | 22 |
 mit-plv/bedrock | Automated verification of higher-order programs using separation logic | 57 |