The required manual effort and verification expertise are among the main hurdles for
adopting formal verification in processor design flows. Developing a set of properties that …

The scalable and extendable RISC-V ISA introduced a new level of flexibility in designing
highly customizable processors. This flexibility in processor designs adds to the complexity …

Modern automotive Systems-On-Chip (SoCs) implement numerous safety-critical functions.
Random hardware faults, eg single event latch-ups, may cause errors in circuit behavior and …

Formal techniques for the functional verification of System-on-Chip (SoC) hardware have
matured significantly over the last years. They can penetrate deeply into a design to exhibit …

The last few decades have seen the complexity of commercial hardware designs increase
by multiple orders of magnitude. This has driven corresponding increases in commercial tool …

An important milestone in the history of semiconductors is the invention of a point-contact
transistor in 1947 by John Bardeen and Walter Brattain of Bell Laboratories. In the following …

Abstract The new CERN Radiation MOnitoring Electronics (CROME) system is currently
being devel-oped at CERN. It consists of hundreds of units, which measure ionizing …

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

This paper deals with the method of a fault detection and diagnostic system for the domain
control units and the garnish systems, a vehicle equipped with advanced vehicle E/E …