Imagen de Portada

Enhanced Virtual Prototyping for Heterogeneous Systems

This book describes a comprehensive combination of methodologies that strongly enhance the modern Virtual Prototype (VP)-based verification flow for heterogeneous systems-on-chip (SOCs). In particular, the book combines verification and analysis aspects across various stages of the VP-based verifica...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Hassan, Muhammad (Autor), Große, Daniel (Autor), Drechsler, Rolf (Autor)
Autor Corporativo:	SpringerLink (Online service)
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2023.
Edición:	1st ed. 2023.
Materias:	Electronic circuits. Embedded computer systems. Electronic circuit design. Electronic Circuits and Systems. Embedded Systems. Electronics Design and Verification.
Acceso en línea:	https://doi.org/10.1007/978-3-031-05574-4
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

Hardware Security: Challenges and Solutions
Publicado: (2025)

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

Versatile Hardware Analysis Techniques From Waveform-based Analysis to Formal Verification /
por: Klemmer, Lucas, et al.
Publicado: (2025)

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

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

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

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)

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

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

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

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

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

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

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

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)

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

Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
por: Heidari Iman, Mohammad Reza
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)

Switched Inductor Power IC Design
por: Rincón-Mora, Gabriel Alfonso
Publicado: (2023)

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

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

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

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

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

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