Since power is the key aspect in modern systems on chips, many power-reduction
techniques are adopted in the design process, mostly applied through power management …

Bringing up of a small-scale mission assurance and engineering workflow is described. The
experiences learned in the ZACUBE-1 mission prompted the development of an automated …

The ever-increasing design complexity of embedded systems is constantly pressing the
demand for more abstract design levels and possible methods for automatic verification and …

Virtual Prototypes act as an executable specification model, offering a unified behavior
reference model for SW and HW engineers. However, between the VP and the HW still …

The design complexity of integrated circuits requires techniques that automate and ease
common tasks, allowing developers to keep up with the rapid growth and demand of the …

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 …

This chapter explores the role of RISC-V in the Internet of Things (IoT) era, emphasizing its
popularity due to its open and free instruction set architecture. The chapter introduces virtual …

High power density is the most crucial problem in deeply integrated hardware systems.
Therefore, the power has to be reduced in such systems, what is most commonly achieved …

In order to handle the increasing complexity of embedded systems, design methodologies
must take into account important aspects, such as abstraction, IP-reuse and heterogeneity …

Abstract Diese Open-Access-Publikation bietet zu Beginn einen Einblick in die Grundlagen
der modellbasierten Systementwicklung. Dabei analysiert die Publikation aktuell …