Polynomial Formal Verification of Approximate Functions
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 ex...
Main Author: | |
---|---|
Format: | eBook |
Language: | English |
Published: |
Wiesbaden
Springer Fachmedien Wiesbaden
2023, 2023
|
Edition: | 1st ed. 2023 |
Series: | BestMasters
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Introduction
- Preliminaries
- RelatedWork
- PolynomialVerification
- Experiments
- Conclusion