封面图片

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes Better Early than Never /

This book deals with formal and practical approaches for early fast modeling and verification of complex digital processor hardware and software using SystemC-based virtual prototypes. As a special focus, modeling approaches of instruction-level behavior of System-on-Chips and the connected off-chip...

Saved in:

书目详细资料
Main Authors:	Pieper, Pascal (Author), Drechsler, Rolf (Author)
企业作者:	SpringerLink (Online service)
格式:	电子电子书
语言:	英语
出版:	Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
版:	1st ed. 2024.
主题:	Embedded computer systems. Electronic circuit design. Electronics. Embedded Systems. Electronics Design and Verification. Electronics and Microelectronics, Instrumentation.
在线阅读:	https://doi.org/10.1007/978-3-031-51692-4
标签:	添加标签没有标签, 成为第一个标记此记录!

相似书籍

Enhanced Virtual Prototyping for Heterogeneous Systems
由: Hassan, Muhammad, et al.
出版: (2023)

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

CMOS-based Portable NMR/MRI Microsystems
由: Fan, Shuhao, et al.
出版: (2025)

Analog Microelectronics
由: Borgarino, Mattia
出版: (2025)

A Problem-Solving Approach to Electric Circuits Volume III /
由: Asadi, Farzin
出版: (2025)

A Problem-Solving Approach to Electric Circuits Volume II /
由: Asadi, Farzin
出版: (2025)

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

ASIC Design Implementation Process A Complete Framework /
由: Golshan, Khosrow
出版: (2024)

Machine Learning-based Design and Optimization of High-Speed Circuits
由: Melikyan, Vazgen
出版: (2024)

A Problem-Solving Approach to Electric Circuits Volume IV /
由: Asadi, Farzin
出版: (2025)

A Problem-Solving Approach to Electric Circuits Volume I /
由: Asadi, Farzin
出版: (2025)

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

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

Formal Verification of Structurally Complex Multipliers
由: Mahzoon, Alireza, et al.
出版: (2023)

Hardware Security A Look into the Future /
由: Tehranipoor, Mark, et al.
出版: (2024)

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

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

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

Hardware Security Training, Hands-on!
由: Tehranipoor, Mark, et al.
出版: (2023)

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

Hardware Security: Challenges and Solutions
出版: (2025)

Graphs in VLSI
由: Bairamkulov, Rassul, et al.
出版: (2023)

Logic Locking A Practical Approach to Secure Hardware /
由: Sisejkovic, Dominik, et al.
出版: (2023)

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

Lifetime Reliability-aware Design of Integrated Circuits
由: Raji, Mohsen, et al.
出版: (2023)

Understanding Logic Locking
由: Zamiri Azar, Kimia, et al.
出版: (2024)

SOC-Based Solutions in Emerging Application Domains
由: Chakravarthi, Veena S., et al.
出版: (2025)

System on Chip (SOC) Architecture A Practical Approach /
由: Chakravarthi, Veena S., et al.
出版: (2023)

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

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

Modern Programmable Interconnect Design
由: Nikolić, Stefan
出版: (2025)

Switched Inductor Power IC Design
由: Rincón-Mora, Gabriel Alfonso
出版: (2023)

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

CMOS Plasma and Process Damage
由: Prall, Kirk
出版: (2025)

Quantum Computing Architecture and Hardware for Engineers Step by Step /
由: Wong, Hiu Yung
出版: (2025)

Embedded Microprocessor System Design using FPGAs
由: Meyer-Baese, Uwe
出版: (2025)

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

Machine Learning and Optimization Techniques for Automotive Cyber-Physical Systems
出版: (2023)

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

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