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, 23 Illustrations, color; 13 Illustrations, black and white; XIII, 130 p. 36 illus., 23 il
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | February 16, 2024 |
| ISBN13 | 9783031245732 |
| Publishers | Springer International Publishing AG |
| Pages | 130 |
| Dimensions | 150 × 220 × 10 mm · 213 g |
| Language | German |