No project description provided
Project description
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
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
File details
Details for the file z3log-2.2.10.tar.gz.
File metadata
- Download URL: z3log-2.2.10.tar.gz
- Upload date:
- Size: 30.2 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.8.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 85b168b26635415a1a6436472e0ae3e3fa933236376c4e4903a81c48d40dac82 |
|
| MD5 | 79344bc67ff9befb72f02ddc1a5e7393 |
|
| BLAKE2b-256 | 9436ea99c188c9f19b72dce05c8d418e7352933a3e311751be1d090310397cb5 |
File details
Details for the file z3log-2.2.10-py3-none-any.whl.
File metadata
- Download URL: z3log-2.2.10-py3-none-any.whl
- Upload date:
- Size: 45.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.8.10
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 | 89640853d095c2b602ccfcaeda237220ee65b9cfe582bfba5abe39622535d8c0 |
|
| MD5 | ade3edd72e7d3ad3302980318dbfd482 |
|
| BLAKE2b-256 | 1594be633e53dfd8780e472549963449be717482f3b1bd5b4a2418c3057b0949 |
