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.8.4.5932731079-py2.py3-none-any.whl (160.8 kB view details)

Uploaded Python 2 Python 3

File details

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

File metadata

File hashes

Hashes for pyvsc-0.8.4.5932731079-py2.py3-none-any.whl
Algorithm Hash digest
SHA256 50747c98d86f26356833a01a1ddefb7c67761bfd5a53de6299762ba8d5802eda
MD5 8374fdbfdc6431016f5c896b7947bc97
BLAKE2b-256 57220cdc64fe2833949cd56c3b1e806a3b8d25821fbd0d6c08eb301c7562927b

See more details on using hashes here.

Supported by

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