Formal Verification of Structurally Complex Multipliers

Saved in:
Bibliographic Details
Main Author: Mahzoon, Alireza
Other Authors: Große, Daniel, Drechsler, Rolf
Format: eBook
Language:English
Published: Springer Nature, 2023.
Subjects:
Online Access:Access eBook
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 a 4500
001 22291
005 20261004182515.0
008 261004s2023 o 000 eng
020 |a 978-3-031-24571-8 
100 1 |a Mahzoon, Alireza  |9 47891 
700 1 |a Große, Daniel  |9 47024 
700 1 |a Drechsler, Rolf  |9 47025 
245 0 0 |a Formal Verification of Structurally Complex Multipliers 
260 |b Springer Nature,  |c 2023. 
300 |a 1 online resource 
650 4 |a Engineering 
538 |a Mode of access: World Wide Web. 
856 4 0 |u https://library.mist.ac.bd/ebooks/8762/go?src=vufind  |z Access eBook 
942 |c EBOOK 
999 |c 22291  |d 22291