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

Uploaded Source

Built Distribution

z3log-2.2.8-py3-none-any.whl (45.1 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: z3log-2.2.8.tar.gz
  • Upload date:
  • Size: 29.6 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.8.tar.gz
Algorithm Hash digest
SHA256 dc5b471408485719454ddca565c0266e12627baf2b80e06ccb5b2dcfd187aad8
MD5 58dfebb2c3624646a0b3e0b3941d575f
BLAKE2b-256 3085f985075cd08621325ea0707c7834f5ee7c8b3c869a0f7cc730333cd026ff

See more details on using hashes here.

File details

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

File metadata

  • Download URL: z3log-2.2.8-py3-none-any.whl
  • Upload date:
  • Size: 45.1 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.8-py3-none-any.whl
Algorithm Hash digest
SHA256 9793588682c8dd9cc5bb3fc54afa7897e4a2a7cee37ee3356bfcba1a4303446d
MD5 0470fecb66d48bd036e7e22ac36b8942
BLAKE2b-256 b6c817c2d0c5ec36123e80e4e4be927b6bf2ff4c464a489b1961a10ce63fc0c0

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