Error metrics determination in functionally approximated circuits using SAT solvers.

07:00 EST 14th January 2020 | BioPortfolio

Summary of "Error metrics determination in functionally approximated circuits using SAT solvers."

Approximate computing is an emerging design paradigm that offers trade-offs between output accuracy and computation efforts by exploiting some applications' intrinsic error resiliency. Computation of error metrics is of paramount importance in approximate circuits to measure the degree of approximation. Most of the existing techniques for evaluating error metrics apply simulations which may not be effective for evaluation of large complex designs because of an immense increase in simulation runtime and a decrease in accuracy. To address these deficiencies, we present a novel methodology that employs SAT (Boolean satisfiability) solvers for fast and accurate determination of error metrics specifically for the calculation of an average-case error and the maximum error rate in functionally approximated circuits. The proposed approach identifies the set of all errors producing assignments to gauge the quality of approximate circuits for real-life applications. Additionally, the proposed approach provides a test generation method to facilitate design choices, and acts as an important guide to debug the approximate circuits to discover and locate the errors. The effectiveness of the approach is demonstrated by evaluating the error metrics of several benchmark-approximated adders of different sizes. Experimental results on benchmark circuits show that the proposed SAT-based methodology accurately determines the maximum error rate and an average-case error within acceptable CPU execution time in one go, and further provides a log of error-generating input assignments.


Journal Details

This article was published in the following journal.

Name: PloS one
ISSN: 1932-6203
Pages: e0227745


DeepDyve research library

PubMed Articles [5617 Associated PubMed Articles listed on BioPortfolio]

Population size estimation for quality control of ChIP-Seq datasets.

Chromatin immunoprecipitation followed by sequencing, i.e. ChIP-Seq, is a widely used experimental technology for the identification of functional protein-DNA interactions. Nowadays, such databases as...

Reversing Unknown Quantum Transformations: Universal Quantum Circuit for Inverting General Unitary Operations.

Given a quantum gate implementing a d-dimensional unitary operation U_{d}, without any specific description but d, and permitted to use k times, we present a universal probabilistic heralded quantum c...

Comparative analysis of calculating sigma metrics by a trueness verification proficiency testing-based approach and an internal quality control data inter-laboratory comparison-based approach.

Two methods were compared for evaluating the sigma metrics of clinical biochemistry tests using two different allowable total error (TEa) specifications.

Towards error categorisation in BCI: single-trial EEG classification between different errors.

Error-related potentials (ErrP) are generated in the brain when humans perceive errors. These ErrP signals can be used to classify actions as erroneous or non-erroneous, using single-trial electroence...

Direct Randomized Benchmarking for Multiqubit Devices.

Benchmarking methods that can be adapted to multiqubit systems are essential for assessing the overall or "holistic" performance of nascent quantum processors. The current industry standard is Cliffor...

Clinical Trials [1579 Associated Clinical Trials listed on BioPortfolio]

Attention Training to Modify Error-related Negativity and Risk for Anxiety in Adolescence

This is a multi-site study to examine error-related brain activity (i.e., the error-related negativity) and anxiety symptoms in 11 to 14 year-olds (N=600) at two time points separated by t...

Assessing Cirrhosis Quality of Care While Accounting for Cost

The objective of this study is to determine what influences the patient and caregiver perception of care, and if this perception associates with the percentage of and what quality metrics ...

The Effect of Wound Edge Eversion on Cosmesis

Aesthetic appearance of repaired incisions is very important to surgical patients. It has been stated that if the edges of a wound are closed in such a manner that will result in eversion,...

Cerebral Metabolic Changes Associated With Thalamic Stimulation

The purpose of this research study is to evaluate the brain circuits function and circuits involved in the mechanism of thalamic DBS in patients with medically refractory epilepsy.

Stanford Reward Circuits of the Brain Study

This study is a biomarker study designed to characterize how ketamine impacts the reward circuits of the human brain.

Medical and Biotech [MESH] Definitions

The introduction of error due to systematic differences in the characteristics between those selected and those not selected for a given study. In sampling bias, error is the result of failure to ensure that all members of the reference population have a known chance of selection in the sample.

Review of claims by insurance companies to determine liability and amount of payment for various services. The review may also include determination of eligibility of the claimant or beneficiary or of the provider of the benefit; determination that the benefit is covered or not payable under another policy; or determination that the service was necessary and of reasonable cost and quality.

Determination, by measurement or comparison with a standard, of the correct value of each scale reading on a meter or other measuring instrument; or determination of the settings of a control device that correspond to particular values of voltage, current, frequency or other output.

Work consisting of an acknowledgment of an error, issued by a publisher, editor, or author. It customarily cites the source where the error occurred, giving complete bibliographic data for retrieval. In the case of books and monographs, author, title, imprint, paging, and other helpful references will be given; in the case of journal articles, the author, title, paging, and journal reference will be shown. An erratum notice is variously cited as Errata or Corrigenda.

Gastric analysis for determination of free acid or total acid.

Quick Search

DeepDyve research library

Searches Linking to this Article