Traditional deadlock detection algorithms depend on finding cycles in lock graphs created
from the application code. Usually, these approaches suffer from scalability and …

The current level of circuit integration led to complex designs encompassing full systems on
a single chip, known as System-on-a-Chip (SoC). In order to predict the best design options …

Instruction decoders are indispensable components of processor toolchains. The strenuous
manual implementation of decoders can be greatly alleviated by decoder generation tools …

This paper presents an approach to retargetable SMT-constrained symbolic execution of
machine code. The retargetability is based on an existing open-source processor …

This paper proposes a method of software development tool generation suitable for
instruction set extension of existing embedded processors. The key idea in the proposed …

Embedded systems are used in a broad range of applications that demand high
performance within severely constrained mechanical, power, and cost requirements …

Transient faults occur in computation units of a processor, which can cause control flow
errors (CFEs) and compromise system reliability. The software-based methods perform …

This paper presents a scheme of autogenerating GNU software development tools for newly
developed processor cores based on a plug-in method. The plug-in method was originally …

In order to succeed in the fulfillment of clients ever increasing expectations, embedded
systems companies are entering the area of multitasking environments. As memory is still a …

Instruction decoders are an innate part of the System-on-Chip design flow and major
constituents of instruction set simulators and processor toolchains. The growing complexity …