| Name | z3log JSON |
| Version |
2.2.13
JSON |
| download |
| home_page | None |
| Summary | None |
| upload_time | 2024-05-16 10:42:36 |
| maintainer | None |
| docs_url | None |
| author | None |
| requires_python | None |
| license | None |
| 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": null,
"name": "z3log",
"maintainer": null,
"docs_url": null,
"requires_python": null,
"maintainer_email": null,
"keywords": null,
"author": null,
"author_email": null,
"download_url": "https://files.pythonhosted.org/packages/99/88/e02ef659e539a6d6a34781345cc7007fbe1bf2389c3c829216375b8b9e9c/z3log-2.2.13.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": null,
"summary": null,
"version": "2.2.13",
"project_urls": null,
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "ae095c781bc8d6466ad3ba4d930310b47009e053286d8c6c4d597cff106b0fa7",
"md5": "5ea5779f3cf759c9af53e3701b80b558",
"sha256": "fe1b0e033eafe2f2d62e8446f4b0768f59e2e6b63e0a414a932eb2436d0e9f7c"
},
"downloads": -1,
"filename": "z3log-2.2.13-py3-none-any.whl",
"has_sig": false,
"md5_digest": "5ea5779f3cf759c9af53e3701b80b558",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": null,
"size": 46047,
"upload_time": "2024-05-16T10:42:34",
"upload_time_iso_8601": "2024-05-16T10:42:34.130845Z",
"url": "https://files.pythonhosted.org/packages/ae/09/5c781bc8d6466ad3ba4d930310b47009e053286d8c6c4d597cff106b0fa7/z3log-2.2.13-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "9988e02ef659e539a6d6a34781345cc7007fbe1bf2389c3c829216375b8b9e9c",
"md5": "400aae660e2f6400cf235241c4cd2512",
"sha256": "1b54b3d412b67deab9d3548206d5f2ff8678f07bd0561170cd231a8c11d7d2b4"
},
"downloads": -1,
"filename": "z3log-2.2.13.tar.gz",
"has_sig": false,
"md5_digest": "400aae660e2f6400cf235241c4cd2512",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 30473,
"upload_time": "2024-05-16T10:42:36",
"upload_time_iso_8601": "2024-05-16T10:42:36.474685Z",
"url": "https://files.pythonhosted.org/packages/99/88/e02ef659e539a6d6a34781345cc7007fbe1bf2389c3c829216375b8b9e9c/z3log-2.2.13.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-05-16 10:42:36",
"github": false,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"lcname": "z3log"
}
