Metadata-Version: 2.4
Name: pyvsc
Version: 1.0.0
Summary: pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
Author-email: Matthew Ballance <matt.ballance@gmail.com>
License-Expression: Apache-2.0
Project-URL: Homepage, https://github.com/fvutils/pyvsc
Project-URL: Documentation, https://dvkit.org/fvutils/pyvsc/
Project-URL: Source, https://github.com/fvutils/pyvsc
Keywords: Python,Functional Verification,Constraints,Coverage
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: 3.13
Requires-Python: >=3.10
Description-Content-Type: text/markdown
License-File: LICENSE
Requires-Dist: dv-solve>=0.2.5
Requires-Dist: pyboolector>=3.2.2; (sys_platform == "linux" and platform_machine == "x86_64") or sys_platform == "darwin"
Requires-Dist: pyucis>=0.1.4
Requires-Dist: toposort
Provides-Extra: boolector
Requires-Dist: pyboolector>=3.2.2; extra == "boolector"
Provides-Extra: dv-solve
Requires-Dist: dv-solve>=0.2.5; extra == "dv-solve"
Provides-Extra: docs
Requires-Dist: sphinx>=7; extra == "docs"
Dynamic: license-file

# PyVSC
Python package providing a library for Verification Stimulus and Coverage

[![CI](https://github.com/fvutils/pyvsc/actions/workflows/ci.yml/badge.svg?branch=master)](https://github.com/fvutils/pyvsc/actions/workflows/ci.yml)
[![PyPI version](https://badge.fury.io/py/pyvsc.svg)](https://badge.fury.io/py/pyvsc)
[![PyPI](https://img.shields.io/pypi/dm/pyvsc.svg?label=PyPI%20downloads)](https://pypi.org/project/pyvsc/)

Documentation: [dvkit.org/fvutils/pyvsc](https://dvkit.org/fvutils/pyvsc/)

[Join the chat on Gitter](https://gitter.im/fvutils/pyvsc)
