pyvsc


Namepyvsc JSON
Version 0.9.4.16393943433 PyPI version JSON
download
home_pagehttps://github.com/fvutils/pyvsc
Summarypyvsc (Verification Stimulus and Coverage) is a Python package for generating randomized stimulus and defining and collecting functional coverage.
upload_time2025-07-19 23:57:33
maintainerNone
docs_urlNone
authorMatthew Ballance
requires_pythonNone
licenseApache 2.0
keywords python functional verification constraints coverage
VCS
bugtrack_url
requirements No requirements were recorded.
Travis-CI No Travis.
coveralls test coverage No coveralls.
            
  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"
}
        
Elapsed time: 0.92599s