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

Uploaded Source

Built Distribution

z3log-1.2.6-py3-none-any.whl (41.4 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: z3log-1.2.6.tar.gz
  • Upload date:
  • Size: 26.0 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.6.tar.gz
Algorithm Hash digest
SHA256 6c0554c80d52b246ee6373088c64f71906708576972b5a35b4efdc17ae2f086b
MD5 0c9a3d6888d024008b3d3188c5f5e8d7
BLAKE2b-256 0de8085d44e8eee98fcc4fa99aa723ff6e44d74bd40911ba12f51cca2b3b4886

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3log-1.2.6-py3-none-any.whl
  • Upload date:
  • Size: 41.4 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.6-py3-none-any.whl
Algorithm Hash digest
SHA256 410dd0bc3ee11eeedde7cd10f42f969f569e8e948e0197a54d94d93c7fc42b16
MD5 81751a6d2c7149d6e22cdf47c31aeae6
BLAKE2b-256 8423c1e166eb833c4b96aa71e2535b427a3d196ee3d154eaa4d4b7a68914e706

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