pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
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.
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Hashes for pyvsc-0.8.2.4110341772-py2.py3-none-any.whl