Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Formal Verification of Structurally Complex Multipliers

Sprache EnglischEnglisch
E-Book Adobe ePub DRM
Verlag Springer, Februar 2023
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... Vollständige Beschreibung
? points 222 b
90.63 € inkl. MwSt.
Verfügbar Sofort herunterladbar

Kunden kauften auch

L'écho des instants . / Buch Broschur
common.buy 33.09 €
De witte droom Wendy Wuyts / E-Book Adobe ePub DRM
common.buy 6.49 €
Kommunikationsorientierte Therapie bei Aphasie Sandra Schütz / Buch Broschur
common.buy 24.90 €
Sigil krwi. Dziedzictwo noszone przez pokolenia. Esterka Misior / Buch Broschur
common.buy 23.49 €
Таємницi останнього пiрата Jens I. Wagner / Buch Hardcover
common.buy 13.89 €
БОРОВИНКА БЛАЖЕНСТВО ЖЕНЕВА АТКИНСЪН / Buch Broschur
common.buy 33.09 €
Conta conmigo Jorge Bucay / E-Book Adobe ePub DRM
common.buy 7.79 €
Dialectologia hispanica / The Routledge Handbook of Spanish Dialectology Francisco Moreno-Fernandez / E-Book Adobe ePub DRM
common.buy 60.11 €
Estudios sobre los origenes del peronismo Miguel Murmis / E-Book Adobe ePub DRM
common.buy 9.19 €
Limbic(R) Sales - inkl. Arbeitshilfen online Helmut Seler / E-Book Adobe ePub DRM
common.buy 40.71 €
La Zona de la Noche Roja James A. Newman / E-Book Adobe ePub DRM
common.buy 4.19 €
La Décision De Brandes MÁRQUEZ / Buch Broschur
common.buy 18.39 €
Au jardin - Mon petit livre à rabats Anna Milbourne / Buch Hardcover
common.buy 8.49 €
Luft - Ihr Wesen, Leben und Wirken Friedrich Körner / Buch Broschur
common.buy 21.90 €
Como Conquistar A un Principe = How to Propose to a Prince Kathryn Caskie / Buch Broschur
common.buy 7.39 €

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Formal Verification of Structurally Complex Multipliers
Autor Alireza Mahzoon, Daniel Groe, Rolf Drechsler
Sprache Englisch
Einband E-Book - Adobe ePub DRM
Datum der Veröffentlichung 2023
EAN 9783031245718
Libristo-Code 44987192
Verlag Springer

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Schaltkreise und Komponenten (Bauteile)
EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker
EDV und Informationstechnologie > Computerhardware > Eingebettete Systeme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Egan's Skilled Helper Model Val Wosket / Buch Broschur
common.buy 60.59 €
Sustainable Innovations in the Textile Industry Roshan Paul / E-Book Adobe ePub DRM
common.buy 284.91 €
Chromecast: Master Your Chromecast Device in 1 Hour or Less! Advanced Chromecast Tips and Tricks George Tomas / E-Book Adobe ePub DRM
common.buy 4.09 €
Hydraulic Tables; The Elements Of Gagings And The Friction Of Water Flowing In Pipes, Aqueducts, Sewers, Etc., As Determined By The Hazen And Williams Gardner Stewart Williams / E-Book Adobe ePub DRM
common.buy 9.59 €
Reflections on the Musical Mind Jay Schulkin / E-Book Adobe ePub DRM
common.buy 52.71 €
Education, War and Peace: The Surprising Success of Private Schools in War-Torn Countries James Tooley / E-Book Adobe ePub DRM
common.buy 3.79 €
Reptiles: A Very Short Introduction T. S. Kemp / E-Book Adobe ePub DRM
common.buy 6.59 €
Mutts & Magnolias Rachel Hanna / Buch Broschur
common.buy 13.79 €
Story of My Life Ongoing, by C.S. Cobb Candas Jane Dorsey / Buch Broschur
common.buy 9.19 €
Organic Syntheses V2 (1922) James B. Conant / Buch Broschur
common.buy 22.49 €
Power Over Porn: How to punch your porn addiction in the face Stephen Brynildsen / Buch Broschur
common.buy 14.99 €
Optimization of Industrial Unit Processes Bela G. Liptak / Buch Broschur
common.buy 105.89 €
An Introduction to Field Pumping Tests for Dewatering and Groundwater Control J Paul Guyer / Buch Broschur
common.buy 45.19 €
Gifted Education in Lebanese Schools Sara El Khoury / Buch Broschur
common.buy 59.59 €
Stressing Out Over Happiness: - exploring the effects of stress, meditation and happiness Vic Shayne Phd / Buch Broschur
common.buy 16.79 €
Representing, Modeling, and Visualizing the Natural Environment Gary Priestnall / Buch Hardcover
common.buy 217.49 €
Gentile Zionists ROSE / Buch Broschur
common.buy 37.99 €
How Water Effluents Effect Vegetable Production Awais Khan / Buch Broschur
common.buy 51.19 €
David Livingstone: Africa's Trailblazer Janet Benge / Buch Broschur
common.buy 10.09 €
Recent Advances in Flavor Science Lisa Jordan / Buch Hardcover
common.buy 129.29 €
Memories Here and There of John Williams, D.D., LL. D., Fourth Bishop of Connecticut, Ninth Presiding Bishop 1887-1899 (Classic Reprint) William Ford Nichols / Buch Broschur
common.buy 12.30 €
Systems Training for Emotional Predictability and Problem Solving for Borderline Personality Disorder Donald W. Black / Buch Hardcover
common.buy 133.69 €
The Human Embryo In Vitro Catriona A. W. McMillan / Buch Broschur
common.buy 41.79 €
Bursts Joel Fried / Buch Broschur
common.buy 8.69 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?