Formal verification of structurally complex multipliers
Auteur :
Mahzoon, Alireza / Große, Daniel / Drechsler, Rolf
Éditeur :
Springer International Publishing AG
ISBN :
9783031245732
Date de publication :
16 févr. 2024
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.