Vai al contenuto principale della pagina

Polynomial Formal Verification of Approximate Functions / / by Martha Schnieber



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Schnieber Martha Visualizza persona
Titolo: Polynomial Formal Verification of Approximate Functions / / by Martha Schnieber Visualizza cluster
Pubblicazione: Wiesbaden : , : Springer Fachmedien Wiesbaden : , : Imprint : Springer Vieweg, , 2023
Edizione: 1st ed. 2023.
Descrizione fisica: 1 online resource (87 pages)
Disciplina: 512.942
Soggetto topico: Electronic circuits
Electronic circuit design
Algebra
Mathematics - Data processing
Electronic Circuits and Systems
Electronics Design and Verification
Computational Mathematics and Numerical Analysis
Nota di contenuto: Introduction -- Preliminaries -- RelatedWork -- PolynomialVerification -- Experiments -- Conclusion.
Sommario/riassunto: During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However, the verification process using formal methods can have an exponential time or space complexity, causing the verification to fail. While exponential in general, recently it has been proven that the verification complexity of several circuits is polynomially bounded. Martha Schnieber proves the polynomial verifiability of several approximate circuits, which are beneficial in error-tolerant applications, where the circuit approximates the exact function in some cases, while having a lower delay or being more area-efficient. Here, upper bounds for the BDD size and the time and space complexity are provided for the verification of general approximate functions and several state-of-the-art approximate adders. About the author Martha Schnieber is working as a research assistant in the Group of Computer Architecture at the University of Bremen.
Titolo autorizzato: Polynomial Formal Verification of Approximate Functions  Visualizza cluster
ISBN: 3-658-41888-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910735787803321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: BestMasters, . 2625-3615