{"categories":[{"label":"Testing","url":"https://skillfed.io/packages/category/software-development-testing/6"}],"enrichment":{"capability":"PyVSC generates randomized test stimulus and defines and collects functional coverage for verification, using constraint-based randomization with a solver backend.","skillfed_tags":["verification","constraint-solving","coverage-driven-testing"],"use_cases":["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."],"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.\n\nIt 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.","worth_installing":"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."},"id":"pyvsc","links":{"html":"https://skillfed.io/packages/pyvsc","md":"https://skillfed.io/packages/pyvsc.md","pypi":"https://pypi.org/project/pyvsc/"},"maintenance":{"status":"active"},"meta":{"latest_release":"2026-06-09","license_spdx":null,"license_treatment":"permissive","name":"pyvsc","python_support":"supports_current","summary":"pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage."},"popularity":{"monthly_downloads":87455,"position":13796,"tier":"top_15000"},"security":{"n_vulnerabilities":0},"version":"0.9.5.27214109393"}