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
Partizipation aus Subjektperspektive
$34.99
World in Figures
$19.99
Fourth International Congress on Information and Communication Technology
$169.99
Britain and Terrorism
$119.99
AIDS in Africa
$129.00
Monster Anthropology in Australasia and Beyond
$109.99
Einsatz von Auktionen im Beschaffungsmanagement
$69.99
Hamiltonian Cycle Problem and Markov Chains
$84.99
Bidirectional Comparison of Nominal Sets
$129.00
British Intelligence and the Japanese Challenge in Asia, 19141941
$119.99
Virtual Environments 95
$54.99
Pro SQL Server Internals
$69.99
Wilde Tiere, fhlende Menschen
$69.99
Food Security Governance in the Arctic-Barents Region
$54.99
Integrated Intelligent Computing, Communication and Security
$169.99
Vehicular Engine Design
$199.99
Integral Representations
$34.99
Basiswissen Investition und Bilanzplanung im Krankenhaus
$29.99
Operator Algebras and Applications
$169.99
Diabetes: from Research to Clinical Practice
$169.99
The Future of Smart Production for SMEs
$159.99
Sicherheitsaspekte von Mobiltelefonen
$39.99
Siegfried Sassoon: Scorched Glory
$169.99
Lese-Rechtschreib-Strung und Bildungsbiografie
$89.99
Zukunftsmanagement fr den Mittelstand
$34.99
Error Systems: Concepts, Theory and Applications
$84.99
Bacterial Volatile Compounds as Mediators of Airborne Interactions
$169.99
Die Bestimmung der Repositionierungsintensitt von Marken
$79.99
Reflections on African Cities in Transition
$109.99
Geistes- und Sozialwissenschaften an der Universitt von morgen
$37.99
Queerness in Play
$44.99
Nigerian Yearbook of International Law 2018/2019
$169.99
Benchmarking Peer-to-Peer Systems
$49.99
Investigate Math: Grade 3
$8.99
Conducting Miranda Evaluations
$69.99
Physical Evidence for Ritual Acts, Sorcery and Witchcraft in Christian Britain
$119.99
Strategische Planung und Personalentwicklung in Banken und Sparkassen
$49.99
Computing Science and Statistics
$109.99
Volk und Staat
$44.99
The Multinational Enterprise Revisited
$54.99
