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.0.9622060553",
"project_urls": {
"Homepage": "https://github.com/fvutils/pyvsc"
},
"split_keywords": [
"python",
" functional verification",
" constraints",
" coverage"
],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "75d8f9caf571d5671b47c2932831070019bfbb038d5191af9f97b435beb60bc5",
"md5": "e58320dc809ce3c7da3ae4b5a88e523c",
"sha256": "7df5a4090827bab1b040ad89b295b2ee0afbdb7d38f4deb83699f29cd70ed315"
},
"downloads": -1,
"filename": "pyvsc-0.9.0.9622060553-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "e58320dc809ce3c7da3ae4b5a88e523c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": null,
"size": 164439,
"upload_time": "2024-06-22T02:12:29",
"upload_time_iso_8601": "2024-06-22T02:12:29.728659Z",
"url": "https://files.pythonhosted.org/packages/75/d8/f9caf571d5671b47c2932831070019bfbb038d5191af9f97b435beb60bc5/pyvsc-0.9.0.9622060553-py2.py3-none-any.whl",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-06-22 02:12:29",
"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"
}