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.11.tar.gz (30.2 kB view hashes)

Uploaded Source

Built Distribution

z3log-2.2.11-py3-none-any.whl (45.8 kB view hashes)

Uploaded Python 3

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