Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Formal Verification of Structurally Complex Multipliers

Limba englezăengleză
Carte Carte broșată
Carte Formal Verification of Structurally Complex Multipliers Alireza Mahzoon
Codul Libristo: 44743015
Editura Springer, Berlin, februarie 2024
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... Descrierea completă
? points 236 b
510.69 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

EASY TAROT ELLERSHAW JOSEPHINE Materiale tipărite Cărți
common.buy 87.44 lei
El Oraculo Maya: Un Lenguaje Galactico de La Luz Ariel Spilsbury / Carte Copertă tare
common.buy 228.52 lei
Acte Pour La Licence. Academie de Strasbourg. Jusromanum, de Adoptionibus. Droit Civil. l'Adoption DUGUE DE LA FAUCONNE / Carte Carte broșată
common.buy 79.97 lei
Volks-Kochbuch Hedwig Heyl / Carte Carte broșată
common.buy 74.79 lei
Kaiser- und Kanzlerbriefe Johannes Penzler / Carte Carte broșată
common.buy 160.89 lei
ATLAS PUZLE DE ESPAÑA SUSAETA EDICIONES / Carte Copertă tare
common.buy 56.42 lei
Medios técnicos para los instaladores autorizados : equipos de medida y herramientas José Manuel de la Cruz Gómez / Carte Carte broșată
common.buy 141.28 lei
SORTIR DE LA SOCIETE DE CONSOMMATION SERGE LATOUCHE / Carte Carte
common.buy 208.71 lei
Leftin
Beet The Vandel buster nº 02/13 Sanjo / Carte Carte broșată
common.buy 43.46 lei
Les 22 étincelles de vie Le Jeu Waknine D. & Athias G. / Carte binding.
common.buy 115.97 lei
Guerras del siglo XXI Ignacio Ramonet Míguez / Carte Carte broșată
common.buy 62.44 lei
Cellokonzerte Rostropowitsch/Boult/Rozhdesvensky/Royal Philharmo / Audio Audio CD
common.buy 40.86 lei
My Mom is Awesome (English Romanian children's book) SHELLEY ADMONT / Carte Carte broșată
common.buy 90.76 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Formal Verification of Structurally Complex Multipliers
Autor Alireza Mahzoon, Daniel Große, Rolf Drechsler
Limba engleză
Legare Carte - Carte broșată
Data publicării 2024
Număr pagini 130
EAN 9783031245732
Codul Libristo 44743015
Editura Springer, Berlin
Greutatea 213
Dimensiuni 155 x 235

Categorii

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Verilog and SystemVerilog Gotchas Stuart Sutherland / Carte Carte broșată
common.buy 666.61 lei
Quantum Probability and Spectral Analysis of Graphs Akihito Hora / Carte Carte broșată
common.buy 567.54 lei
Linear Algebra in Data Science Peter Zizler / Carte Carte broșată
common.buy 251.03 lei
Himouto! Umaru-chan Vol. 1 SANKAKU HEAD / Carte Carte broșată
common.buy 72.19 lei
Top
Koi: A Complete Guide to Their Care and Color Varieties Bernice Brewster / Carte Carte broșată
common.buy 128.31 lei
Take Charge Melody Carlson / Carte Carte broșată
common.buy 47.92 lei
The Knowledge-Creating Company / Carte Copertă tare
common.buy 87.65 lei
Intelligence Professionalism in the Americas Joint Military Intelligence College / Carte Carte broșată
common.buy 185.37 lei
Nedra George Barr McCutcheon / Carte Carte broșată
common.buy 81.22 lei
Ours is not to reason why ..... apparently! George Whittle / Carte Carte broșată
common.buy 81.22 lei
Natural Resources and the New Frontier Judd Kinzley / Carte Carte broșată
common.buy 229.46 lei
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 / Carte Carte broșată
common.buy 94.80 lei
Natural Law: Morality and Obedience Ben Wood Johnson / Carte Carte broșată
common.buy 81.22 lei
Social Pictorial Satire George Du Maurier / Carte Carte broșată
common.buy 84.43 lei
Principles of Macroeconomics, Global Edition Karl E. Case / Carte Carte broșată
common.buy 514.32 lei
Hans Christian Andersen: The Journey of his Life Maja Kastelic / Carte Copertă tare
common.buy 97.40 lei
What is Philosophy of Mind? Tom McClelland / Carte Copertă tare
common.buy 325.93 lei
Calculus: Late Transcendentals 4e & Saplingplus for Calculus: Late Transcendentals 4e (Six-Months Access) [With eBook] Colin Adams / Carte Copertă tare
common.buy 1 590.59 lei
SOCIAL REPRESENTATIONS OF THE REGULAR CLASSROOM MANAGER Francis Rivas / Carte Carte broșată
common.buy 393.57 lei
Top
There's Something Wrong with the Chief: Du Zhu You Bing (Novel) Vol. 1 Yang Su / Carte Carte broșată
common.buy 81.01 lei
On Wings Of Blood Briar Boleyn / Carte Copertă tare
common.buy 118.15 lei
From Sin to Insanity Jeffrey Watt / Carte Copertă tare
common.buy 494.09 lei
Hating Empire Properly Sunil M Agnani / Carte Copertă tare
common.buy 510.90 lei
Introduction to Theory of Control in Organizations Dmitry Novikov / Carte Copertă tare
common.buy 807.07 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?