Research
Research
Honest to a Fault: Root-Causing Fault Attacks with Pre-Silicon RISC Pipeline Characterization
Abstract
This paper presents a comprehensive methodology for conducting and root-causing controlled fault injection attacks at the pre-silicon level, tracing fault propagation from the physical layer to the system software. The study applies
Research
When Radiation Meets Linux: Analyzing Soft Errors in Linux on COTS SoCs under Proton Irradiation
Abstract
This study analyzes the vulnerability of Linux running on Commercial Off-The-Shelf (COTS) System-on-Chips (SoCs) to radiation-induced soft errors using 20-50 MeV proton irradiation. Testing diverse architectures, including ARM Cortex-A53 (14 nm FinFET
🔒 Members
Research
RISC-V High Performance Multicore and GPU SoC Platform For Safety Critical System - Semiconductor Engineering
Abstract
This article details a new System-on-Chip (SoC) platform built on the RISC-V Instruction Set Architecture, specifically designed for stringent safety-critical systems. The platform integrates high-performance multicore CPU clusters alongside an integrated GPU,
Research
DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification
Abstract
DeepVerifier introduces a novel machine learning framework designed to optimize hardware verification efficiency by intelligently updating existing test sequences for coverage closure. The system utilizes deep reinforcement learning (DRL) to guide the
Research
A RISC-V Multicore and GPU SoC Platform with a Qualifiable Software Stack for Safety Critical Systems
Abstract
This paper introduces the METASAT platform, a novel RISC-V multicore and GPU System-on-Chip designed as a prototype for future safety-critical space missions. The architecture integrates a space-grade NOEL-V multiprocessor with the SPARROW
Research
Enhancing software-hardware co-design for HEP by low-overhead profiling of single- and multi-threaded programs on diverse architectures with Adaptyst
Abstract
The paper introduces Adaptyst, an open-source and architecture-agnostic tool designed to enhance software-hardware co-design for complex applications like High Energy Physics (HEP). Adaptyst provides low-overhead profiling of single- and multi-threaded programs, tracing