|  |
| |
| Artikel-Nr.:
5667A-9783031245732 Herst.-Nr.:
9783031245732 EAN/GTIN:
9783031245732 |
| |
|
| | |
| Formal Verification of Structurally Complex Multipliers Weitere Informationen: | | Author: | Alireza Mahzoon; Daniel Große; Rolf Drechsler | Verlag: | Springer International Publishing | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Formal Verification of Arithmetic Circuits; Formal Verification of Multipliers; SCA-based Verification; Symbolic Computer Algebra; Verification of Complex Multipliers, Symbolic Computer Algebra, SCA-based Verification, Formal Verification of Multipliers, Verification of Complex Multipliers, Formal Verification of Arithmetic Circuits |
| | |
| |