Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Formal Verification of Structurally Complex Multipliers

Lingua IngleseInglese
Libro In brossura
Libro Formal Verification of Structurally Complex Multipliers Alireza Mahzoon
Codice Libristo: 44743015
Casa editrice Springer, Berlin, febbraio 2024
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... Descrizione completa
? points 200 b
81.69 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

EASY TAROT ELLERSHAW JOSEPHINE Pubblicazioni cartacee Carte
common.buy 12.69 €
El Oraculo Maya: Un Lenguaje Galactico de La Luz Ariel Spilsbury / Libro Rigido
common.buy 37.99 €
Acte Pour La Licence. Academie de Strasbourg. Jusromanum, de Adoptionibus. Droit Civil. l'Adoption DUGUE DE LA FAUCONNE / Libro In brossura
common.buy 12.29 €
Volks-Kochbuch Hedwig Heyl / Libro In brossura
common.buy 11.79 €
Kaiser- und Kanzlerbriefe Johannes Penzler / Libro In brossura
common.buy 25.39 €
ATLAS PUZLE DE ESPAÑA SUSAETA EDICIONES / Libro Rigido
common.buy 8.69 €
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Libro In brossura
common.buy 22.59 €
SORTIR DE LA SOCIETE DE CONSOMMATION SERGE LATOUCHE / Libro Libro
common.buy 33.39 €
Economico
Beet The Vandel buster nº 02/13 Sanjo / Libro In brossura
common.buy 8.19 €
Les 22 étincelles de vie Le Jeu Waknine D. & Athias G. / Libro binding.
common.buy 18.09 €
Guerras del siglo XXI Ignacio Ramonet Míguez / Libro In brossura
common.buy 9.39 €
Cellokonzerte Rostropowitsch/Boult/Rozhdesvensky/Royal Philharmo / Audio CD audio
common.buy 6.59 €
My Mom is Awesome (English Romanian children's book) SHELLEY ADMONT / Libro In brossura
common.buy 13.99 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Verification of Structurally Complex Multipliers
Autore Alireza Mahzoon, Daniel Große, Rolf Drechsler
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2024
Numero di pagine 130
EAN 9783031245732
Codice Libristo 44743015
Casa editrice Springer, Berlin
Peso 213
Dimensioni 155 x 235

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica > Elettronica: circuiti e componenti
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Verilog and SystemVerilog Gotchas Stuart Sutherland / Libro In brossura
common.buy 106.19 €
Quantum Probability and Spectral Analysis of Graphs Akihito Hora / Libro In brossura
common.buy 90.79 €
Linear Algebra in Data Science Peter Zizler / Libro In brossura
common.buy 39.99 €
Himouto! Umaru-chan Vol. 1 SANKAKU HEAD / Libro In brossura
common.buy 11.49 €
I migliori
Koi: A Complete Guide to Their Care and Color Varieties Bernice Brewster / Libro In brossura
common.buy 18.49 €
Take Charge Melody Carlson / Libro In brossura
common.buy 7.89 €
The Knowledge-Creating Company / Libro Rigido
common.buy 12.69 €
Intelligence Professionalism in the Americas Joint Military Intelligence College / Libro In brossura
common.buy 28.19 €
Nedra George Barr McCutcheon / Libro In brossura
common.buy 12.39 €
Ours is not to reason why ..... apparently! George Whittle / Libro In brossura
common.buy 12.39 €
Natural Resources and the New Frontier Judd Kinzley / Libro In brossura
common.buy 45.39 €
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 / Libro In brossura
common.buy 13.69 €
Natural Law: Morality and Obedience Ben Wood Johnson / Libro In brossura
common.buy 12.39 €
Social Pictorial Satire George Du Maurier / Libro In brossura
common.buy 13.29 €
Principles of Macroeconomics, Global Edition Karl E. Case / Libro In brossura
common.buy 81.09 €
Hans Christian Andersen: The Journey of his Life Maja Kastelic / Libro Rigido
common.buy 15.49 €
What is Philosophy of Mind? Tom McClelland / Libro Rigido
common.buy 52.49 €
Calculus: Late Transcendentals 4e & Saplingplus for Calculus: Late Transcendentals 4e (Six-Months Access) [With eBook] Colin Adams / Libro Rigido
common.buy 261.69 €
SOCIAL REPRESENTATIONS OF THE REGULAR CLASSROOM MANAGER Francis Rivas / Libro In brossura
common.buy 62.09 €
I migliori
There's Something Wrong with the Chief: Du Zhu You Bing (Novel) Vol. 1 Yang Su / Libro In brossura
common.buy 12.29 €
On Wings Of Blood Briar Boleyn / Libro Rigido
common.buy 18.19 €
From Sin to Insanity Jeffrey Watt / Libro Rigido
common.buy 78.89 €
Hating Empire Properly Sunil M Agnani / Libro Rigido
common.buy 82.79 €
Introduction to Theory of Control in Organizations Dmitry Novikov / Libro Rigido
common.buy 126.79 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?