pyvsc
Digital circuit testing library
Provides tools and techniques for generating testable digital circuits and analyzing their coverage
Python packages providing a library for Verification Stimulus and Coverage
115 stars
15 watching
26 forks
Language: Python
last commit: 4 months ago
Linked from 2 awesome lists
cocotbconstrained-randomconstraintscoveragefunctional-coveragepythonrandom-stimulusrandomizationverification-stimulus
aolofsson/awesome-opensource-hardware
ben-marshall/awesome-open-hardware-verificationRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cocotb/cocotb | A Python library for writing and simulating digital circuits with testbenches | 1,842 |
 mciepluc/cocotb-coverage | Tools for enhanced verification of digital circuits | 106 |
 cambridgehackers/fpgamake | Generates Makefiles to synthesize and route digital circuits from Verilog designs using Vivado | 93 |
 cfelton/rhea | A collection of MyHDL cores and tools for complex digital circuit design | 85 |
 ucsbarchlab/pyrtl | A Pythonic framework for designing and simulating digital circuits | 261 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 evgenymuryshkin/quokkaevaluation | A toolkit for designing and verifying digital circuits using Verilog and .NET Core | 37 |
 zlatko-minev/pyepr | Automated design and analysis of quantum microwave circuits | 169 |
 computationalmodelling/nbval | Tools for validating and testing Jupyter notebooks with automated execution and output comparison | 446 |
 pyhgl/pyhgl | A language and toolset for designing and verifying digital circuits using high-level Python syntax | 40 |
 d-m-bailey/cvc | Checks CDL netlists for errors and circuit validity | 22 |
 galacticstudios/kicadverilog | Converts KiCad schematic designs into Verilog code to simulate and design digital circuits | 57 |
 the-compiler/pytest-vw | Automatically makes failing test cases succeed in CI environments to avoid code deployment issues | 134 |
 upb-lea/pygeckocircuits2 | A Python wrapper around a circuit simulation tool | 5 |
 chipsalliance/riscv-dv | An instruction generator for RISC-V processor verification | 1,036 |