Polynomial Formal Verification of Approximate Functions

Polynomial Formal Verification of Approximate Functions
Author :
Publisher : Springer Nature
Total Pages : 87
Release :
ISBN-10 : 9783658418885
ISBN-13 : 3658418885
Rating : 4/5 (885 Downloads)

Book Synopsis Polynomial Formal Verification of Approximate Functions by : Martha Schnieber

Download or read book Polynomial Formal Verification of Approximate Functions written by Martha Schnieber and published by Springer Nature. This book was released on 2023-08-23 with total page 87 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Polynomial Formal Verification of Approximate Functions Related Books

Polynomial Formal Verification of Approximate Functions
Language: en
Pages: 87
Authors: Martha Schnieber
Categories: Technology & Engineering
Type: BOOK - Published: 2023-08-23 - Publisher: Springer Nature

DOWNLOAD EBOOK

During the development of digital circuits, their functional correctness has to be ensured, for which formal verification methods have been established. However
Polynomial Formal Verification of Multipliers
Language: en
Pages: 15
Authors:
Categories:
Type: BOOK - Published: 1997 - Publisher:

DOWNLOAD EBOOK

Formal Methods for Hardware Verification
Language: en
Pages: 250
Authors: Marco Bernardo
Categories: Computers
Type: BOOK - Published: 2006-05-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Desi
Sparse Polynomial Approximation of High-Dimensional Functions
Language: en
Pages: 310
Authors: Ben Adcock
Categories: Mathematics
Type: BOOK - Published: 2022-02-16 - Publisher: SIAM

DOWNLOAD EBOOK

Over seventy years ago, Richard Bellman coined the term “the curse of dimensionality” to describe phenomena and computational challenges that arise in high
Formal Methods in Computer-Aided Design
Language: en
Pages: 410
Authors: Mark D. Aagaard
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use