semvec/pypi-packages huggingface dataset:
pyvsc 0.9.4.22122858116
pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
License: Apache 2.0
Requires Python: >=3.10
Keywords: Python, Functional Verification, Constraints, 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.