---
id: pyvsc
version: "0.9.5.27214109393"
license: Apache 2.0
license_treatment: permissive
maintenance: active
---

# pyvsc — pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.

License: permissive · Maintenance: active · Downloads: 87.5K/mo

## 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 above — verify before relying.

PyVSC generates randomized test stimulus and defines and collects functional coverage for verification, using constraint-based randomization with a solver backend.

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

pip install pyvsc
uv add pyvsc
poetry add pyvsc

## Installing pyvsc

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.

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 examples

Requires Python 3.10 or later.

Verify 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_current
- Install friction: low
- Maintenance: active
- Downloads: 87.5K/month (top 15,000 on PyPI)
- Known vulnerabilities: none known

## Tags

randomized test stimulus generation, functional coverage collection, constraint-based randomization, verification stimulus library, coverage-driven verification, test constraint solver, python verification framework, verification, constraint-solving, coverage-driven-testing

[View on SkillFed](https://skillfed.io/packages/pyvsc) · [View on PyPI](https://pypi.org/project/pyvsc/)