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 13.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
E-book Adobe ePub DRM
Wydawnictwo Springer, luty 2023
This book addresses the challenging tasks of verifying and debugging structurally complex multiplier... Cały opis
? points 258 b
457.44 zł
Dostępna Produkt cyfrowy - wysyłamy od razu

Klienci kupili także

Luft - Ihr Wesen, Leben und Wirken Friedrich Körner / Książka Miękka
common.buy 84.50 zł
La Zona de la Noche Roja James A. Newman / E-book Adobe ePub DRM
common.buy 21.19 zł
Limbic(R) Sales - inkl. Arbeitshilfen online Helmut Seler / E-book Adobe ePub DRM
common.buy 207.86 zł
Estudios sobre los origenes del peronismo Miguel Murmis / E-book Adobe ePub DRM
common.buy 47.27 zł
Conta conmigo Jorge Bucay / E-book Adobe ePub DRM
common.buy 40.16 zł
БОРОВИНКА БЛАЖЕНСТВО ЖЕНЕВА АТКИНСЪН / Książka Miękka
common.buy 139.89 zł
Zootròpolis 2: Gran llibre de la pel·lícula Disney / Książka Twarda
common.buy 58.93 zł
De witte droom Wendy Wuyts / E-book Adobe ePub DRM
common.buy 33.06 zł
L'écho des instants . / Książka Miękka
common.buy 135.83 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 Groe, Rolf Drechsler
Język Angielski
Oprawa E-book - Adobe ePub DRM
Data wydania 2023
EAN 9783031245718
Kod Libristo 44987192
Wydawnictwo Springer

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Obwody i komponenty elektroniczne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń > Matematyka w informatyce
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Systemy wbudowane
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ć

Reptiles: A Very Short Introduction T. S. Kemp / E-book Adobe ePub DRM
common.buy 34.89 zł
Nowość
The Human Embryo In Vitro Catriona A. W. McMillan / Książka Miękka
common.buy 176.42 zł
Chromecast: Master Your Chromecast Device in 1 Hour or Less! Advanced Chromecast Tips and Tricks George Tomas / E-book Adobe ePub DRM
common.buy 21.19 zł
Sustainable Innovations in the Textile Industry Roshan Paul / E-book Adobe ePub DRM
common.buy 1 418.29 zł
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 48.18 zł
Reflections on the Musical Mind Jay Schulkin / E-book Adobe ePub DRM
common.buy 260.32 zł
Gentile Zionists ROSE / Książka Miękka
common.buy 151.05 zł
Mutts & Magnolias Rachel Hanna / Książka Miękka
common.buy 58.22 zł
Organic Syntheses V2 (1922) James B. Conant / Książka Miękka
common.buy 95.05 zł
Power Over Porn: How to punch your porn addiction in the face Stephen Brynildsen / Książka Miękka
common.buy 63.60 zł
Gifted Education in Lebanese Schools Sara El Khoury / Książka Miękka
common.buy 250.37 zł
How Water Effluents Effect Vegetable Production Awais Khan / Książka Miękka
common.buy 209.79 zł
TOP
David Livingstone: Africa's Trailblazer Janet Benge / Książka Miękka
common.buy 42.50 zł
Recent Advances in Flavor Science Lisa Jordan / Książka Twarda
common.buy 554.22 zł
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 / Książka Miękka
common.buy 53.15 zł
Systems Training for Emotional Predictability and Problem Solving for Borderline Personality Disorder Donald W. Black / Książka Twarda
common.buy 348.88 zł
Bursts Joel Fried / Książka Miękka
common.buy 36.61 zł
Stressing Out Over Happiness: - exploring the effects of stress, meditation and happiness Vic Shayne Phd / Książka Miękka
common.buy 71.21 zł
An Introduction to Field Pumping Tests for Dewatering and Groundwater Control J Paul Guyer / Książka Miękka
common.buy 152.07 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?