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.
Raw data
{
"_id": null,
"home_page": "https://github.com/fvutils/pyvsc",
"name": "pyvsc",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": "Python, Functional Verification, Constraints, Coverage",
"author": "Matthew Ballance",
"author_email": "matt.ballance@gmail.com",
"download_url": null,
"platform": null,
"description": "\n PyVSC implements a Python-embedded domain-specific language for\n capturing random variables and data structures, constraints,\n and functional coverage metrics. PyVSC is built on top of the\n Boolector SMT solver. \n \n",
"bugtrack_url": null,
"license": "Apache 2.0",
"summary": "pyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.",
"version": "0.9.4.16393943433",
"project_urls": {
"Homepage": "https://github.com/fvutils/pyvsc"
},
"split_keywords": [
"python",
" functional verification",
" constraints",
" coverage"
],
"urls": [
{
"comment_text": null,
"digests": {
"blake2b_256": "adb3e750f49dab5b0baf925d40cd83070fa0aea4e11a7d9a26d9a00a9de033e2",
"md5": "085d7b0b25220c270891e0ba2d58d4f4",
"sha256": "8d94dee6c3139bf169928c4262acf1dc99611a581b8e1d804e067153c7e61712"
},
"downloads": -1,
"filename": "pyvsc-0.9.4.16393943433-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "085d7b0b25220c270891e0ba2d58d4f4",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": null,
"size": 165557,
"upload_time": "2025-07-19T23:57:33",
"upload_time_iso_8601": "2025-07-19T23:57:33.078168Z",
"url": "https://files.pythonhosted.org/packages/ad/b3/e750f49dab5b0baf925d40cd83070fa0aea4e11a7d9a26d9a00a9de033e2/pyvsc-0.9.4.16393943433-py2.py3-none-any.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2025-07-19 23:57:33",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "fvutils",
"github_project": "pyvsc",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"requirements": [],
"lcname": "pyvsc"
}