Abstract System-on-Chips (SoCs) are an integral part of our lives. The complexity of SoCs
requires sophisticated tools and methods for ensuring functional correctness, especially in …

Hardware accelerators (HAs) are essential building blocks for fast and energy-efficient
computing systems. Accelerator Quick Error Detection (A-QED) is a recent formal technique …

Latency-insensitive design mitigates increasing interconnect delay and enables productive
component reuse in complex digital systems. This design style has been adopted in high …

In high-level design explorations, many useful optimizations transform a circuit into another
with different operating cycles for a better trade-off between performance and resource …

Abstract Heterogeneous System-on-Chip (SoC) architectures combine general-purpose
processors with many accelerators, which are application-specific computing engines. By …

Mission-critical systems are those imperative systems whose failures can result in
catastrophic consequences. Traditional techniques, such as manual investigation and …