Formal Verification of Structurally Complex Multipliers
by Alireza Mahzoon, Daniel Große, Rolf Drechsler Hardcover 2023
- Author: Alireza Mahzoon, Daniel Große, Rolf Drechsler
- ISBN 13: 9783031245701
- ISBN 10: 3031245709
- Publication Year: 2023
- Language: English
Specifications
| Index-10 | 3031245709 |
|---|---|
| Index-13 | 9783031245701 |
| Language | English |