pyvsc
pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
Decision gist · record as of 2026-08-14
Yes, if you are doing verification and need constraint-based randomization and coverage collection in Python. The package is actively maintained, has low install friction, carries no known security vulnerabilities, and uses a permissive license. The main constraint is the Python 3.10+ requirement and dependencies on pyboolector and pyucis. For verification teams already in Python, this is a solid choice.AI-flagged interpretation of the facts on this page — verify before relying
Before you install
- Requires Python 3.10 or later.
- Low install friction with a pure-Python wheel distribution.
- Active maintenance with a recent release 66 days ago and ongoing commits.
License · maintenance · safety
Apache 2.0 (permissive) — Apache 2.0 is permissive, allowing commercial and private use with minimal restrictions—suitable for most projects that can accommodate attribution and license inclusion.
last release 2026-06-09 (66 days) · last repo commit 2026-07-05 · 148 stars
0 known vulnerabilities (OSV.dev, 2026-08-14) · 87,455 downloads/mo, #13,796 on PyPI
Alternatives
Verify before relying
pip install pyvsc
import pyvsc
# Use pyvsc for constraint-based randomization and coverage collection
# See documentation at pyvsc.readthedocs.io for detailed examples- Whether pyboolector and pyucis are available as pre-built wheels or require compilation on target platforms.
- API stability and whether breaking changes are expected in future releases.
- Specific use-case examples and typical workflows beyond the published documentation.
What it is and what it does
PyVSC is a Python library for functional verification that combines constraint-based randomization with coverage collection. It lets you define randomizable test stimulus using constraints, then generate random test cases that satisfy those constraints. The library depends on pyboolector for constraint solving, pyucis for coverage collection, and toposort for dependency ordering.
It is used in verification workflows where you need to generate diverse, constrained random test cases and measure functional coverage. The package supports current Python versions (3.10+) and is actively maintained with a permissive Apache 2.0 license. It sits in the top 15000 PyPI packages by download volume, indicating adoption in the verification community.
Use it for
- Generate randomized test vectors that satisfy complex design constraints.
- Define and collect functional coverage metrics to measure test completeness.
- Build constraint-based test generators for protocol or interface verification.
- Automate stimulus generation for regression testing with reproducible random seeds.
- Integrate verification workflows into Python-based CI/CD pipelines.
Worth the install?
AI-flagged interpretation of the facts on this page. Verify before relying on it.
Yes, if you are doing verification and need constraint-based randomization and coverage collection in Python.
The package is actively maintained, has low install friction, carries no known security vulnerabilities, and uses a permissive license. The main constraint is the Python 3.10+ requirement and dependencies on pyboolector and pyucis. For verification teams already in Python, this is a solid choice.
Install
pyvsc on PyPI
Before you install
Low install friction with a pure-Python wheel distribution. Active maintenance with a recent release 66 days ago and ongoing commits. Depends on pyboolector, pyucis, and toposort.
Requires Python 3.10 or later.
License in practice
Apache 2.0 is permissive, allowing commercial and private use with minimal restrictions—suitable for most projects that can accommodate attribution and license inclusion.
Quickstart
pip install pyvsc
import pyvsc
# Use pyvsc for constraint-based randomization and coverage collection
# See documentation at pyvsc.readthedocs.io for detailed examplesVerify before relying
- Whether pyboolector and pyucis are available as pre-built wheels or require compilation on target platforms.
- API stability and whether breaking changes are expected in future releases.
- Specific use-case examples and typical workflows beyond the published documentation.
Package facts
| License | Apache 2.0 permissive |
| Python support | Supports the current Python release >=3.10 |
| Install friction | Low. Pure-Python wheel |
| Runtime dependencies | 3 packagespyboolectorpyucistoposort |
| Maintenance | Actively maintained 66 days since the last release |
| Last repo commit | |
| First released | |
| Downloads | 87,455 / month, #13,796 on PyPI 30-day window, as of 2026-08-14 |
| Known vulnerabilities | None known OSV.dev, checked 2026-08-14 |
Evidence: pyvsc-0.9.5.27214109393-py2.py3-none-any.whl
Tags
Let your AI agent find packages like this
Example. Real query, live index.
You found this page by searching. An agent finds it by wishing: SkillFed indexes 14,416 PyPI packages by what they can do, searchable in plain language.
wish › “randomized test stimulus generation”
- pyvscPyVSC generates randomized test stimulus and defines and collects…
- hypothesisHypothesis is a property-based testing library that generates random…
- ua-generatorGenerates realistic, randomized user-agent strings for modern…
Give your agent the search over MCP, or paste the wish link into any chat.
More Testing packages
Pluggy provides a plugin system that lets you define hook specifications and register implementations to be called in sequence, enabling extensible Python applications without tight coupling.
Install it if you're building an extensible application or framework.
pytest is a testing framework that lets you write test functions using plain assert statements and automatically discovers and runs them, with detailed failure reporting.
virtualenv creates isolated Python environments where packages can be installed independently without affecting the system Python or other projects.
Coverage.py measures which lines of Python code are executed during test runs, reporting coverage percentages and identifying untested code paths.
Install it if you want to measure test completeness or enforce coverage thresholds in your project.
pytest-asyncio is a pytest plugin that enables writing and running async test functions using the asyncio library, allowing developers to await code directly within test cases.
Install it if you write tests for any asyncio-based code.
A pytest plugin that generates test reports in Common Test Report Format (CTRF) as JSON, compatible with pytest-xdist and pytest-playwright for distributed and browser-based testing.
Install it if you need CTRF-formatted test output for CI/CD integration or cross-tool reporting.
See also cocotb-coverage · cocotb · pyvcg · samplomatic · cvxpy · cvc5 · pytest-randomly · python-constraint · hypothesis · cvxpy-base