Los puntos clave no están disponibles para este artículo en este momento.
La Auto-Prueba Basada en Software (SBST) es ampliamente adoptada como un mecanismo de seguridad de hardware para la prueba en campo de sistemas críticos de seguridad en forma de Bibliotecas de Pruebas de Software (STLs). Típicamente, la cobertura de diagnóstico de un STL se evalúa en el modelo de falla stuck-at. Dado que existen varios modelos de falla orientados a defectos y se utilizan para pruebas de fabricación, como la popular prueba consciente de celdas (CAT), existe la necesidad de evaluar la efectividad de SBST cuando se dirigen dichos modelos. Este trabajo se enfoca en fallas estáticas de CAT. Evaluamos la cobertura de fallas de STLs disponibles públicamente para un SoC RISC-V. Utilizamos resultados derivados de la simulación de fallas stuck-at y simulación exhaustiva de puertas para elaborar sobre los resultados obtenidos.
Cantoro et al. (Mon,) estudiaron esta cuestión.