An Automated and Effective Approach for SBST Generation Targeting RISC-V CPUs. - Endri Kaja; Nicolas Gerlin; Jad Al Halabi; Ares Tahiraga; Sebastian Prebeck; Dominik Stoffel; Wolfgang Kunz; Wolfgang Ecker (DFT, 2024)

Special Session: A Mixed Simulation-, Emulation-, and Formal-Based Fault Analysis Methodology for RISC-V. - Endri Kaja; Nicolas Gerlin; Ares Tahiraga; Jad Al Halabi; Sebastian Prebeck; Dominik Stoffel; Wolfgang Kunz; Wolfgang Ecker (DFT, 2024)

An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods. - Endri Kaja; Nicolas Gerlin; Bihan Zhao; Daniela Sanchez Lopera; Jad Al Halabi; Azam Sher Khan; Sebastian Prebeck; Dominik Stoffel; Wolfgang Kunz; Wolfgang Ecker (ISQED, 2024)

Leveraging Large Language Models for the Automated Documentation of Hardware Designs. - Saruni Fernando; Robert Kunzelmann; Daniela Sanchez Lopera; Jad Al Halabi; Wolfgang Ecker (MECO, 2024)