z3log

Name	z3log JSON
Version	2.2.11 JSON
	download
home_page
Summary
upload_time	2024-02-19 13:36:20
maintainer
docs_url	None
author
requires_python
license
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            Paper Title: ErrorEval: an Open-Source Worst-Case-Error Evaluation Framework for Approximate Computing

Short Description: The open-source toolchain that proposes a methodology called ErrorEval which relies on 
SMT (Satisfiability Modulo Theories) solvers.

Authors: 
Morteza Rezaalipour, Università della Svizzera italiana (USI), Lugano, Switzerland
Lorenzo Ferretti, Micron Technology, San Jose, USA
Ilaria Scarabottolo, Università della Svizzera italiana (USI), Lugano, Switzerland
George A. Constantinides, Imperial College London, London, UK
and Laura Pozzi, Università della Svizzera italiana (USI), Lugano, Switzerland

Event name: (Computing Frontiers - Workshop on Open-Source Hardware) CF23-OSHW 23, May 9-11, 2023, Bologna, Italy
DOI: https://doi.org/10.1145/3587135.3591438

Home-page: UNKNOWN
Author: Morteza Rezaalipour (MorellRAP)
Author-email: <rezaalipour.usi@gmail.com>
License: UNKNOWN
Description: UNKNOWN
Keywords: python,verilog,circuits,synthesis
Platform: UNKNOWN
Classifier: Development Status :: 1 - Planning
Classifier: Intended Audience :: Developers
Classifier: Programming Language :: Python :: 3
Classifier: Operating System :: Unix
Classifier: Operating System :: MacOS :: MacOS X
Classifier: Operating System :: Microsoft :: Windows

            

Raw data

            {
    "_id": null,
    "home_page": "",
    "name": "z3log",
    "maintainer": "",
    "docs_url": null,
    "requires_python": "",
    "maintainer_email": "",
    "keywords": "",
    "author": "",
    "author_email": "",
    "download_url": "https://files.pythonhosted.org/packages/a5/16/237451302b6ecadcb5979ab10faa9dd667ceaebb91abe040ba636f50329f/z3log-2.2.11.tar.gz",
    "platform": null,
    "description": "Paper Title: ErrorEval: an Open-Source Worst-Case-Error Evaluation Framework for Approximate Computing\n\nShort Description: The open-source toolchain that proposes a methodology called ErrorEval which relies on \nSMT (Satisfiability Modulo Theories) solvers.\n\nAuthors: \nMorteza Rezaalipour, Universit\u00e0 della Svizzera italiana (USI), Lugano, Switzerland\nLorenzo Ferretti, Micron Technology, San Jose, USA\nIlaria Scarabottolo, Universit\u00e0 della Svizzera italiana (USI), Lugano, Switzerland\nGeorge A. Constantinides, Imperial College London, London, UK\nand Laura Pozzi, Universit\u00e0 della Svizzera italiana (USI), Lugano, Switzerland\n\nEvent name: (Computing Frontiers - Workshop on Open-Source Hardware) CF23-OSHW 23, May 9-11, 2023, Bologna, Italy\nDOI: https://doi.org/10.1145/3587135.3591438\n\nHome-page: UNKNOWN\nAuthor: Morteza Rezaalipour (MorellRAP)\nAuthor-email: <rezaalipour.usi@gmail.com>\nLicense: UNKNOWN\nDescription: UNKNOWN\nKeywords: python,verilog,circuits,synthesis\nPlatform: UNKNOWN\nClassifier: Development Status :: 1 - Planning\nClassifier: Intended Audience :: Developers\nClassifier: Programming Language :: Python :: 3\nClassifier: Operating System :: Unix\nClassifier: Operating System :: MacOS :: MacOS X\nClassifier: Operating System :: Microsoft :: Windows\n",
    "bugtrack_url": null,
    "license": "",
    "summary": "",
    "version": "2.2.11",
    "project_urls": null,
    "split_keywords": [],
    "urls": [
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "5118bbc725ac23f41047117dc96b6d552ef201731d1686006cf465b68c53ff0b",
                "md5": "6e299f9dff361f23728f2f003d06b12e",
                "sha256": "fc3466d9c893a5bdffd7b190a85a01d0c5e686533171bf3fc5b1be244f2b65b8"
            },
            "downloads": -1,
            "filename": "z3log-2.2.11-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "6e299f9dff361f23728f2f003d06b12e",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": null,
            "size": 45776,
            "upload_time": "2024-02-19T13:36:18",
            "upload_time_iso_8601": "2024-02-19T13:36:18.493861Z",
            "url": "https://files.pythonhosted.org/packages/51/18/bbc725ac23f41047117dc96b6d552ef201731d1686006cf465b68c53ff0b/z3log-2.2.11-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": "",
            "digests": {
                "blake2b_256": "a516237451302b6ecadcb5979ab10faa9dd667ceaebb91abe040ba636f50329f",
                "md5": "15d7a82ac7a6d173bc95d556fe671962",
                "sha256": "57c95a280670b3699a2b04ac553df1f952735b751cad86eaceae122c5d3dc0b7"
            },
            "downloads": -1,
            "filename": "z3log-2.2.11.tar.gz",
            "has_sig": false,
            "md5_digest": "15d7a82ac7a6d173bc95d556fe671962",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": null,
            "size": 30213,
            "upload_time": "2024-02-19T13:36:20",
            "upload_time_iso_8601": "2024-02-19T13:36:20.396941Z",
            "url": "https://files.pythonhosted.org/packages/a5/16/237451302b6ecadcb5979ab10faa9dd667ceaebb91abe040ba636f50329f/z3log-2.2.11.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2024-02-19 13:36:20",
    "github": false,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "lcname": "z3log"
}