Image de couverture de livre

Formal Verification of Structurally Complex Multipliers

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then d...

Description complète

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Mahzoon, Alireza (Auteur), Große, Daniel (Auteur), Drechsler, Rolf (Auteur)
Collectivité auteur:	SpringerLink (Online service)
Format:	Électronique eBook
Langue:	anglais
Publié:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Édition:	1st ed. 2023.
Sujets:	Electronic circuits. Electronic circuit design. Computer science > Mathematics. Embedded computer systems. Electronic Circuits and Systems. Electronics Design and Verification. Symbolic and Algebraic Manipulation. Embedded Systems.
Accès en ligne:	https://doi.org/10.1007/978-3-031-24571-8
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Enhanced Virtual Prototyping for Heterogeneous Systems
par: Hassan, Muhammad, et autres
Publié: (2023)

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /
par: Pieper, Pascal, et autres
Publié: (2024)

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
par: Ranjbar, Behnaz, et autres
Publié: (2024)

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /
par: Klemmer, Lucas, et autres
Publié: (2025)

Hardware Security Training, Hands-on!
par: Tehranipoor, Mark, et autres
Publié: (2023)

Hardware Security: Challenges and Solutions
Publié: (2025)

Graphs in VLSI
par: Bairamkulov, Rassul, et autres
Publié: (2023)

Logic Locking A Practical Approach to Secure Hardware /
par: Sisejkovic, Dominik, et autres
Publié: (2023)

Frontiers of Quality Electronic Design (QED) AI, IoT and Hardware Security /
Publié: (2023)

Lifetime Reliability-aware Design of Integrated Circuits
par: Raji, Mohsen, et autres
Publié: (2023)

Understanding Logic Locking
par: Zamiri Azar, Kimia, et autres
Publié: (2024)

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
par: Heidari Iman, Mohammad Reza
Publié: (2025)

Quantum Computing Circuits, Systems, Automation and Applications /
Publié: (2024)

CMOS-based Portable NMR/MRI Microsystems
par: Fan, Shuhao, et autres
Publié: (2025)

Chip-Scale Power Supplies for DC-Link and Grid Applications
par: Rindfleisch, Christoph, et autres
Publié: (2024)

Fully Integrated High-Voltage DC-DC and AC-DC Conversion
par: Van Daele, Tuur, et autres
Publié: (2025)

Analog Microelectronics
par: Borgarino, Mattia
Publié: (2025)

A Problem-Solving Approach to Electric Circuits Volume III /
par: Asadi, Farzin
Publié: (2025)

A Problem-Solving Approach to Electric Circuits Volume II /
par: Asadi, Farzin
Publié: (2025)

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance
par: Zhuldassov, Nurzhan, et autres
Publié: (2025)

ASIC Design Implementation Process A Complete Framework /
par: Golshan, Khosrow
Publié: (2024)

Machine Learning-based Design and Optimization of High-Speed Circuits
par: Melikyan, Vazgen
Publié: (2024)

A Problem-Solving Approach to Electric Circuits Volume IV /
par: Asadi, Farzin
Publié: (2025)

A Problem-Solving Approach to Electric Circuits Volume I /
par: Asadi, Farzin
Publié: (2025)

Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
par: Liu, Hsiao-Hsuan, et autres
Publié: (2025)

Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits /
par: Lin, Ji-Yung, et autres
Publié: (2025)

Modern Programmable Interconnect Design
par: Nikolić, Stefan
Publié: (2025)

Quasi van der Waals Epitaxy of Nitride Semiconductor and Its Applications
par: Wei, Tongbo, et autres
Publié: (2025)

Bulk-Driven Circuit Techniques for CMOS FDSOI Processes From Circuit Concept to Implementations /
Publié: (2025)

Quantum Computing Architecture and Hardware for Engineers Step by Step /
par: Wong, Hiu Yung
Publié: (2025)

Advanced Boolean Techniques Selected Papers from the 15th International Workshop on Boolean Problems /
Publié: (2023)

CMOS Plasma and Process Damage
par: Prall, Kirk
Publié: (2025)

SOC-Based Solutions in Emerging Application Domains
par: Chakravarthi, Veena S., et autres
Publié: (2025)

System on Chip (SOC) Architecture A Practical Approach /
par: Chakravarthi, Veena S., et autres
Publié: (2023)

Hardware Security A Look into the Future /
par: Tehranipoor, Mark, et autres
Publié: (2024)

Switched Inductor Power IC Design
par: Rincón-Mora, Gabriel Alfonso
Publié: (2023)

Imaging Sensors, Power Management, PLLs and Frequency Synthesizers Advances in Analog Circuit Design 2023 /
Publié: (2025)

Neuromorphic Solutions for Sensor Fusion and Continual Learning Systems Applications in Drone Navigation and Radar Sensing /
par: Safa, Ali, et autres
Publié: (2024)

Embedded Microprocessor System Design using FPGAs
par: Meyer-Baese, Uwe
Publié: (2025)

Analog Current-Mode Computational Circuits for Artificial Neural Networks
par: Popa, Cosmin Radu
Publié: (2025)