Tell your friends about this item:
Formal Verification of Structurally Complex Multipliers Alireza Mahzoon 2023 edition
Formal Verification of Structurally Complex Multipliers
Alireza Mahzoon
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.
130 pages, 50 Tables, color; 23 Illustrations, color; 13 Illustrations, black and white; XIII, 130 p
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | February 15, 2023 |
| ISBN13 | 9783031245701 |
| Publishers | Springer International Publishing AG |
| Pages | 130 |
| Dimensions | 150 × 220 × 20 mm · 389 g |
| Language | German |