SystemC is a system-level modelling language widely used in the semiconductor industry.
SystemC validation is both necessary and important, since undetected bugs may propagate …

Due to the global supply of semiconductor intellectual property (IP) cores, modern system-on-
chip (SoC) designs are vulnerable to malicious functionality, referred to as hardware …

In order to meet time-to-market constraints and to raise the design productivity, High-level
Synthesis (HLS) is being increasingly adopted by the semiconductor industry. HLS designs …

SystemC has become a de-facto standard hardware modelling language in the
semiconductor industry, enabling early exploration of design spaces and verification at a …

We propose a novel functional approach for Software-Based Self-Test generation and fault
diagnosis for RISC processors in the case when low-level implementation details are not …

The growing complexity of System-on-a-Chips (SoCs) and rapidly decreasing time-to-market
have pushed the design abstraction to the electronic system level in order to increase …

With the growing complexities of modern SoC designs and increasingly shortened time-to-
market requirements, new design paradigms such as outsourced design services have …

Symbolic execution is an automated software testing technique that has enabled the
discovery of numerous bugs in conventional, non-embedded software. Unfortunately, its …

Computing systems are experiencing an explosive growth, both in complexities and
diversities, ushered in by the proliferation of cloud computing, mobile computing, and …

Modern system design involves integration of all components of a system on a single chip,
namely System-on-a-Chip (SoC). The ever-increasing complexity of SoCs and rapidly …