Copied Polynomial Formal Verification of Approximate Functions
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 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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Coupled Heat and Mass Transfer in Binary Mixtures at Supercritical Pressures
$199.99
Solutions of Laplaces Equation
$54.99
Green Growth and Sustainable Development
$109.99
Panic and Phobias 2
$84.99
Vernon Lee
$54.99
Monitoring and Securing Virtualized Networks and Services
$54.99
The Jew and His History
$39.99
Capital Markets in the Development Process
$39.99
Copper Bioavailability and Metabolism
$99.00
Analog-Digital Converters for Industrial Applications Including an Introduction to Digital-Analog Co
$109.99
Lexikon Neue Musik
$64.99
Civic Engagement in Changing Contexts
$64.99
Die Grenzen der Vertragstreue im Vlkerrecht
$119.00
Zur Aktualitt von Jacques Rancire
$49.99
US Spacesuits
$44.99
Rorty, Liberal Democracy, and Religious Certainty
$39.99
Neonatal Transfusion Practices
$84.99
Stars with Stripes
$44.99
Zur Kentniss einiger Derivate der Camphersure und Hemipinsure
$54.99
The Greatest: Muhammad Ali
$5.24
Writing the Lives of Writers
$109.99
Activity-Based Protein Profiling
$159.99
Birth Mothers and Transnational Adoption Practice in South Korea
$24.99
Integrierte Qualittssicherung
$59.99
National Geographic Kids: Explore My World: Butterflies
$3.71
Business Continuity Management
$39.99
Automotive Air Conditioning
$159.99
Asymptotic Approximations for Probability Integrals
$29.99
How to Produce Methanol from Coal
$54.99
Computer Vision -- ACCV 2014
$54.99
Global Entrepreneurship and Development Index 2018
$39.99
Studying Kinetics with Neutrons
$169.99
Fundamentals of Switching Theory and Logic Design
$54.99
X-Ray Lasers 2018
$169.99
Processes, Beliefs, and Questions
$109.99
Integration of Engineering Education and the Humanities: Global Intercultural Perspectives
$379.99
Simulation of Water Based Thermal Solar Systems
$169.99
Icons of the Alphabet
$139.99
Lost Sex
$169.00
Whistleblowing in the World
$59.99
