Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then d...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Mahzoon, Alireza, Große, Daniel, Drechsler, Rolf
Format:	Buch
Sprache:	eng
Schlagworte:	Algebra Algebra-Data processing Circuits and Systems Engineering Multipliers (Mathematical analysis) Numerical calculations Numerical calculations-Verification-Data processing Symbolic and Algebraic Manipulation
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!