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 …

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 …

Verification is indispensable for building reliable of hardware/software co-designs. However,
the scope of formal methods in this domain is limited. This is attributed to the lack of unified …

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 …

Contemporary integrated circuits are complex system-on-chip (SoC) designs consisting of
programmable cores along with accelerators and peripherals controlled by firmware running …

Modern system-on-chip (SoC) designs comprise programmable cores, application-specific
accelerators, and I/O devices. Accelerators are controlled by software/firmware and …

Extensive verification of embedded SW is very important to avoid errors and security
vulnerabilities. Therefore, mainly simulation-based methods are employed that leverage …

Two main kinds of tools available for formal software verification are point tools and general-
purpose tools. Point tools are targeted towards bug-hunting or proving a fixed set of …

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