Virtual prototypes (VPs) are crucial in today's design flow. VPs are predominantly created in
SystemC transaction-level modeling (TLM) and are leveraged for early software …

Within the electronic design automation (EDA) domain, artificial intelligence (AI)-driven
solutions have emerged as formidable tools, yet they typically augment rather than redefine …

Virtual Prototypes (VPs) play a very important role to cope with the rising complexity in the
design flow of embedded devices. A VP is essentially an executable abstract model of the …

Abstract Robonaut2 (R2) is a humanoid robot onboard the International Space Station (ISS),
performing specialized tasks in collaboration with astronauts. After deployment, R2 …

Within the Electronic Design Automation (EDA) domain, AI-driven solutions have emerged
as formidable tools, yet they typically augment rather than redefine existing methodologies …

Formal security verification of firmware interacting with hardware in modern Systems-on-
Chip (SoCs) is a critical research problem. This faces the following challenges:(1) design …

Extensive testing of IoT SW is very important to prevent errors and security vulnerabilities. In
the SW domain the automated concolic testing technique has been shown very effective. In …

In this paper, a technique to design analog circuits with enhanced security is described. The
proposed key based obfuscation technique uses a mesh topology to obfuscate the physical …

Today's Systems-on-Chips (SoCs) comprise general/special purpose programmable
processors and specialized hardware modules referred to as accelerators. These …

We present an effective methodology for formally verifying security-critical flows in a
commercial System-on-Chip (SoC) which involve extensive interaction between firmware …