Cargando…
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 approximat...
Autores principales: | Abed, Sa’ed, Behiry, Ali A. M. R., Ahmad, Imtiaz |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Public Library of Science
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6959577/ https://www.ncbi.nlm.nih.gov/pubmed/31935260 http://dx.doi.org/10.1371/journal.pone.0227745 |
Ejemplares similares
-
Efficient implementation of parallel SAT solver based stochastic local search
por: Abed, Sa'Ed
Publicado: (2020) -
An Approximation Framework for Solvers and Decision Procedures
por: Zeljić, Aleksandar, et al.
Publicado: (2016) -
On speeding up factoring with quantum SAT solvers
por: Mosca, Michele, et al.
Publicado: (2020) -
Factoring semi-primes with (quantum) SAT-solvers
por: Mosca, Michele, et al.
Publicado: (2022) -
Electric circuits problem solver
por: REA, Editors of
Publicado: (2012)