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-1.2.4.tar.gz (25.8 kB view details)

Uploaded Source

Built Distribution

z3log-1.2.4-py3-none-any.whl (41.2 kB view details)

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for z3log-1.2.4.tar.gz
Algorithm Hash digest
SHA256 2d479066a45c3682c4a6a0f74590276d2986d4f429aa7a8f00f3744c70608a4d
MD5 896a9523991ef915eba913891afa2440
BLAKE2b-256 1aa8e660e4b70515538459d343e53a5aad1afa39c21c0297d5c624b142718670

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for z3log-1.2.4-py3-none-any.whl
Algorithm Hash digest
SHA256 b22c4a6df3266cb7af1068b30990b3beb7d7381170813607bb974ed7cb9b7690
MD5 c6225122d496847c2964874ad0221ce3
BLAKE2b-256 cff1e0e906bd1d6c75b4f3f5f2be0e36acecde7345c69008d0926fd04c6491e8

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