|  |
| |
| Artikel-Nr.:
5667A-9783031245701 Herst.-Nr.:
9783031245701 EAN/GTIN:
9783031245701 |
| |
|
| | |
| 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, SymbolicComputerAlgebra; SCA-basedVerification; FormalVerificationofMultipliers; VerificationofComplexMultipliers; FormalVerificationofArithmeticCircuits, Symbolic Computer Algebra, SCA-based Verification, Formal Verification of Multipliers, Verification of Complex Multipliers, Formal Verification of Arithmetic Circuits |
| | |
| |