cocotb-coverage
by mciepluc
Functional Coverage and Constrained Randomization Extensions for Cocotb
AI summary
Verification tools
Tools for enhanced verification of digital circuits
- stars
- 106
- forks
- 16
- watching
- 13
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Digital circuit testing library
Provides tools and techniques for generating testable digital circuits and analyzing their coverage
cocotb/cocotb1.8K
Digital circuit simulator
A Python library for writing and simulating digital circuits with testbenches
Formal verification toolkit
A collection of formal verification tools and libraries for writing secure and reliable software using the Coq proof assistant
Coverage calculator
Computation pipeline for calculating genomic coverage from sequencing data using samtools mpileup
PCIe simulator
An open-source simulation framework for PCI express systems.
MQTT client
An MQTT client library for Arduino
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
Circuit designer
A collection of MyHDL cores and tools for complex digital circuit design
Ethernet simulator
Provides Ethernet interface modules for Cocotb simulation
SMT verification plugin
An OCaml-based plugin for Coq that verifies and extends proof witnesses from external SAT/SMT solvers
AXI simulators
AXI interface modules for Cocotb simulation models
Code verification project
Verifying competitive programming solutions to catch errors and improve rigor through formal mathematical proof
Program verifier
Automated verification of higher-order programs using separation logic
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cocotb-coverage.
