Skip to main content

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

Project description

PyVSC implements a Python-embedded domain-specific language for capturing random variables and data structures, constraints, and functional coverage metrics. PyVSC is built on top of the Boolector SMT solver.

Project details


Release history Release notifications | RSS feed

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

pyvsc-0.9.4.15369697742-py2.py3-none-any.whl (165.0 kB view details)

Uploaded Python 2Python 3

File details

Details for the file pyvsc-0.9.4.15369697742-py2.py3-none-any.whl.

File metadata

File hashes

Hashes for pyvsc-0.9.4.15369697742-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 35108707aa5ce0b569da69f190ac73861d048ac341fb516f58d7dade528397ee
MD5 5a9f8bcf96fcf32a6a1d0fe6d7e13fbf
BLAKE2b-256 b6014055ed095fd6dde6bf8f15c48bf8a21345e0a8851c3500b2dae03b28b46e

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page