Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Formal Verification of Structurally Complex Multipliers

Język AngielskiAngielski
Książka Miękka
Książka Formal Verification of Structurally Complex Multipliers Alireza Mahzoon
Kod Libristo: 44743015
Wydawnictwo Springer, Berlin, luty 2024
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... Cały opis
? points 224 b
398.52 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

EASY TAROT ELLERSHAW JOSEPHINE Prasa Karty
common.buy 67.89 zł
El Oraculo Maya: Un Lenguaje Galactico de La Luz Ariel Spilsbury / Książka Twarda
common.buy 188.00 zł
Acte Pour La Licence. Academie de Strasbourg. Jusromanum, de Adoptionibus. Droit Civil. l'Adoption DUGUE DE LA FAUCONNE / Książka Miękka
common.buy 62.70 zł
Volks-Kochbuch Hedwig Heyl / Książka Miękka
common.buy 58.11 zł
Kaiser- und Kanzlerbriefe Johannes Penzler / Książka Miękka
common.buy 125.10 zł
ATLAS PUZLE DE ESPAÑA SUSAETA EDICIONES / Książka Twarda
common.buy 46.41 zł
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Książka Miękka
common.buy 116.24 zł
SORTIR DE LA SOCIETE DE CONSOMMATION SERGE LATOUCHE / Książka Książka
common.buy 171.62 zł
Tanie
Beet The Vandel buster nº 02/13 Sanjo / Książka Miękka
common.buy 35.72 zł
Les 22 étincelles de vie Le Jeu Waknine D. & Athias G. / Książka binding.
common.buy 95.37 zł
Guerras del siglo XXI Ignacio Ramonet Míguez / Książka Miękka
common.buy 51.29 zł
Torte, dolci e biscotti di mele. 52 ricette tradizionali e creative Valentina Cipriani / Książka Miękka
common.buy 41.42 zł
Cellokonzerte Rostropowitsch/Boult/Rozhdesvensky/Royal Philharmo / Audio CD Audio
common.buy 31.95 zł
My Mom is Awesome (English Romanian children's book) SHELLEY ADMONT / Książka Miękka
common.buy 71.25 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Formal Verification of Structurally Complex Multipliers
Autor Alireza Mahzoon, Daniel Große, Rolf Drechsler
Język Angielski
Oprawa Książka - Miękka
Data wydania 2024
Liczba stron 130
EAN 9783031245732
Kod Libristo 44743015
Wydawnictwo Springer, Berlin
Waga 213
Wymiary 155 x 235

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Verilog and SystemVerilog Gotchas Stuart Sutherland / Książka Miękka
common.buy 519.55 zł
Quantum Probability and Spectral Analysis of Graphs Akihito Hora / Książka Miękka
common.buy 442.80 zł
Linear Algebra in Data Science Peter Zizler / Książka Miękka
common.buy 195.64 zł
Himouto! Umaru-chan Vol. 1 SANKAKU HEAD / Książka Miękka
common.buy 56.28 zł
TOP
Koi: A Complete Guide to Their Care and Color Varieties Bernice Brewster / Książka Miękka
common.buy 99.34 zł
Take Charge Melody Carlson / Książka Miękka
common.buy 36.94 zł
The Knowledge-Creating Company / Książka Twarda
common.buy 67.89 zł
Intelligence Professionalism in the Americas Joint Military Intelligence College / Książka Miękka
common.buy 144.94 zł
Nedra George Barr McCutcheon / Książka Miękka
common.buy 63.61 zł
Ours is not to reason why ..... apparently! George Whittle / Książka Miękka
common.buy 63.61 zł
Natural Resources and the New Frontier Judd Kinzley / Książka Miękka
common.buy 188.72 zł
An Essay on the Causes of the Variety of Complexion and Figure in the Human Species: To Which Are Added Strictures on Lord Kaims's Discourse, on the O Samuel Stanhope Smith / Książka Miękka
common.buy 73.59 zł
Natural Law: Morality and Obedience Ben Wood Johnson / Książka Miękka
common.buy 63.61 zł
Social Pictorial Satire George Du Maurier / Książka Miękka
common.buy 65.55 zł
Principles of Macroeconomics, Global Edition Karl E. Case / Książka Miękka
common.buy 399.64 zł
Hans Christian Andersen: The Journey of his Life Maja Kastelic / Książka Twarda
common.buy 75.83 zł
What is Philosophy of Mind? Tom McClelland / Książka Twarda
common.buy 268.12 zł
Calculus: Late Transcendentals 4e & Saplingplus for Calculus: Late Transcendentals 4e (Six-Months Access) [With eBook] Colin Adams / Książka Twarda
common.buy 1 251.55 zł
SOCIAL REPRESENTATIONS OF THE REGULAR CLASSROOM MANAGER Francis Rivas / Książka Miękka
common.buy 305.78 zł
TOP
There's Something Wrong with the Chief: Du Zhu You Bing (Novel) Vol. 1 Yang Su / Książka Miękka
common.buy 62.19 zł
On Wings Of Blood Briar Boleyn / Książka Twarda
common.buy 91.10 zł
From Sin to Insanity Jeffrey Watt / Książka Twarda
common.buy 390.58 zł
Hating Empire Properly Sunil M Agnani / Książka Twarda
common.buy 420.20 zł
Introduction to Theory of Control in Organizations Dmitry Novikov / Książka Twarda
common.buy 635.70 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?