Imagen de Portada

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases. The authors introduce the Waveform A...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Klemmer, Lucas (Autor), Große, Daniel (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edición:	1st ed. 2025.
Materias:	Electronic circuit design. Embedded computer systems. Logic design. Electronics Design and Verification. Embedded Systems. Logic Design.
Acceso en línea:	https://doi.org/10.1007/978-3-031-83093-8
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Workload Dependent Mitigation Approaches for Performance Variability Ensuring Timing Guarantees of Integrated Circuits /
por: Lin, Ji-Yung, et al.
Publicado: (2025)

Hardware Security Training, Hands-on!
por: Tehranipoor, Mark, et al.
Publicado: (2023)

Hardware Security: Challenges and Solutions
Publicado: (2025)

Modern Programmable Interconnect Design
por: Nikolić, Stefan
Publicado: (2025)

Enhanced Virtual Prototyping for Heterogeneous Systems
por: Hassan, Muhammad, et al.
Publicado: (2023)

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

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

Quantum Computing Architecture and Hardware for Engineers Step by Step /
por: Wong, Hiu Yung
Publicado: (2025)

Formal Verification of Structurally Complex Multipliers
por: Mahzoon, Alireza, et al.
Publicado: (2023)

Hardware Security A Look into the Future /
por: Tehranipoor, Mark, et al.
Publicado: (2024)

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

Quality-of-Service Aware Design and Management of Embedded Mixed-Criticality Systems
por: Ranjbar, Behnaz, et al.
Publicado: (2024)

Graphs in VLSI
por: Bairamkulov, Rassul, et al.
Publicado: (2023)

Lifetime Reliability-aware Design of Integrated Circuits
por: Raji, Mohsen, et al.
Publicado: (2023)

Understanding Logic Locking
por: Zamiri Azar, Kimia, et al.
Publicado: (2024)

CMOS-based Portable NMR/MRI Microsystems
por: Fan, Shuhao, et al.
Publicado: (2025)

Chip-Scale Power Supplies for DC-Link and Grid Applications
por: Rindfleisch, Christoph, et al.
Publicado: (2024)

Fully Integrated High-Voltage DC-DC and AC-DC Conversion
por: Van Daele, Tuur, et al.
Publicado: (2025)

Analog Microelectronics
por: Borgarino, Mattia
Publicado: (2025)

ASIC Design Implementation Process A Complete Framework /
por: Golshan, Khosrow
Publicado: (2024)

Hardware Software Co-design of Epileptic Seizure Prediction Systems
por: Varnosfaderani, Shiva Maleki, et al.
Publicado: (2025)

Logic Locking A Practical Approach to Secure Hardware /
por: Sisejkovic, Dominik, et al.
Publicado: (2023)

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /
por: Pieper, Pascal, et al.
Publicado: (2024)

CMOS Plasma and Process Damage
por: Prall, Kirk
Publicado: (2025)

Random Number Generators Verilog Description, Hardware Implementation and Applications /
por: de la Fraga, Luis Gerardo, et al.
Publicado: (2025)

Machine Learning-based Design and Optimization of High-Speed Circuits
por: Melikyan, Vazgen
Publicado: (2024)

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

Fundamentals of Electronics Circuit Analysis and Amplifier Design /
por: Yuce, Erkan, et al.
Publicado: (2025)

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

A Problem-Solving Approach to Electric Circuits Volume III /
por: Asadi, Farzin
Publicado: (2025)

A Problem-Solving Approach to Electric Circuits Volume II /
por: Asadi, Farzin
Publicado: (2025)

Cryogenic Microelectronic Systems for Ultra-Low Energy and Enhanced Performance
por: Zhuldassov, Nurzhan, et al.
Publicado: (2025)

A Problem-Solving Approach to Electric Circuits Volume IV /
por: Asadi, Farzin
Publicado: (2025)

A Problem-Solving Approach to Electric Circuits Volume I /
por: Asadi, Farzin
Publicado: (2025)

Circuit-Technology Co-Optimization of SRAM Design in Advanced CMOS Nodes
por: Liu, Hsiao-Hsuan, et al.
Publicado: (2025)

Neuromorphic Solutions for Sensor Fusion and Continual Learning Systems Applications in Drone Navigation and Radar Sensing /
por: Safa, Ali, et al.
Publicado: (2024)

Analog Current-Mode Computational Circuits for Artificial Neural Networks
por: Popa, Cosmin Radu
Publicado: (2025)

Engineering Mathematics by Example Vol. I: Algebra and Linear Algebra /
por: Sobot, Robert
Publicado: (2025)

Quasi van der Waals Epitaxy of Nitride Semiconductor and Its Applications
por: Wei, Tongbo, et al.
Publicado: (2025)

SOC-Based Solutions in Emerging Application Domains
por: Chakravarthi, Veena S., et al.
Publicado: (2025)