FaultDetective: Explainable to a Fault, from the Design Layout to the Software. TCHES. 2024;2024(4):610-632. doi:10.46586/tches.v2024.i4.610-632