Formal Verification of Structurally Complex Multipliers
by Alireza Mahzoon, Daniel Große, Rolf Drechsler Paperback 2024
- Author: Alireza Mahzoon, Daniel Große, Rolf Drechsler
- ISBN 13: 9783031245732
- ISBN 10: 3031245733
- Publication Year: 2024
- Language: English
Specifications
| Index-10 | 3031245733 |
|---|---|
| Index-13 | 9783031245732 |
| Language | English |