An Automated Exhaustive Fault Analysis Technique guided by Processor Formal Verification Methods.
Endri KajaNicolas GerlinBihan ZhaoDaniela Sanchez LoperaJad Al HalabiAzam Sher KhanSebastian PrebeckDominik StoffelWolfgang KunzWolfgang EckerPublished in: ISQED (2024)