Skip to main content

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

Project details


Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

z3log-2.2.13.tar.gz (30.5 kB view details)

Uploaded Source

Built Distribution

z3log-2.2.13-py3-none-any.whl (46.0 kB view details)

Uploaded Python 3

File details

Details for the file z3log-2.2.13.tar.gz.

File metadata

  • Download URL: z3log-2.2.13.tar.gz
  • Upload date:
  • Size: 30.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.10

File hashes

Hashes for z3log-2.2.13.tar.gz
Algorithm Hash digest
SHA256 1b54b3d412b67deab9d3548206d5f2ff8678f07bd0561170cd231a8c11d7d2b4
MD5 400aae660e2f6400cf235241c4cd2512
BLAKE2b-256 9988e02ef659e539a6d6a34781345cc7007fbe1bf2389c3c829216375b8b9e9c

See more details on using hashes here.

File details

Details for the file z3log-2.2.13-py3-none-any.whl.

File metadata

  • Download URL: z3log-2.2.13-py3-none-any.whl
  • Upload date:
  • Size: 46.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.10

File hashes

Hashes for z3log-2.2.13-py3-none-any.whl
Algorithm Hash digest
SHA256 fe1b0e033eafe2f2d62e8446f4b0768f59e2e6b63e0a414a932eb2436d0e9f7c
MD5 5ea5779f3cf759c9af53e3701b80b558
BLAKE2b-256 ae095c781bc8d6466ad3ba4d930310b47009e053286d8c6c4d597cff106b0fa7

See more details on using hashes here.

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page