30% OFF

Formal Verification Of Structurally Complex Multipliers

by Rolf Drechsler, Daniel Groãÿe e Alireza Mahzoon
language: english
Publisher: Springer International Publishing AG, February of 2023 ‧
108,14€
75,70€
30% OFF
free shipping
Sell ​​your book
This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. 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.

Formal Verification Of Structurally Complex Multipliers

by Rolf Drechsler, Daniel Groãÿe e Alireza Mahzoon

Property Description
ISBN: 9783031245701
Publisher: Springer International Publishing AG
Release Date: February of 2023
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Hardcover
Pages: 130
Format: Book
Categories: Books in English > Engineering > Electricity and Energy
Books in English > Others
EAN: 9783031245701