Automated validation of security properties in modern systems-on-chip (SoC) designs is
challenging due to three reasons:(i) specification of security in the presence of adversarial …

Simulation is widely used for validation of Register-Transfer-Level (RTL) models. While
simulating with millions of random or constrained-random tests can cover majority of the …

JavaScript (JS) has evolved into a versatile and popular programming language for not only
the web, but also a wide range of server-side and client-side applications. Effective, efficient …

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 …

Combining fuzzing techniques and reinforcement learning could be an important direction in
software testing. However, there is a gap in support for experimentation in this field, as there …

Linux kernel is pervasive in the cloud, on mobile platforms, and on supercomputers. To
support these diverse computing environments, the Linux kernel provides extensibility and …

Many recent approaches have been proposed to improve the quality of Systems-on-Chips
(SoC), mainly focusing on a specific part of the SoC, eg, device driver, hardware, firmware …

This paper presents an improvement to a new opensource testing tool capable of performing
concolic execution on x86 binaries. The novelty is to use a reinforcement learning solution …

Modern System-on-Chip functionalities include significant software interacting closely with
low-level hardware to realize system functionalities. This software is developed concurrently …

We present an infrastructure, FirVer, for systematic validation of firmware binaries. FirVer
makes unique use of virtual prototyping and unit testing interfaces for effective …