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 2024 ‧
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: 9783031245732
Publisher: Springer International Publishing AG
Release Date: February of 2024
Language: English
Dimensions: 155 x 235 x 20 mm
Cover: Softcover
Pages: 130
Format: Book
Categories: Books in English > Engineering > Electricity and Energy
Books in English > Others
EAN: 9783031245732