Speeding-up robustness assessment of HDL models through profiling and multi-level fault injection

  • Ilya Tuzov Universitat Politècnica de València
  • David Andres Universitat Politècnica de València
  • Juan Carlos Ruiz Universitat Politècnica de València

Resumo


Simulation-based fault injection is an indispensable technique to assess the robustness of hardware components defined by means of hardware description languages (HDL). However, the high complexity of modern hardware and its strict verification accuracy requirements lead to an unfeasible number of fault injection experiments, even when following statistical (instead of exhaustive) approaches, as accurate implementation-level models are up to three orders of magnitude slower than (inaccurate) behavioural ones. This paper proposes the combined use of multi-level fault injection in sequential logic and the profiling of the use of combinational logic to guarantee results' accuracy while keeping experimentation duration within reasonable time-bounds. First, the sequential logic generated at the implementation-level model is matched with associated structures at its related behavioural-level model. In such a way, most fault injection experiments targeting sequential logic could be executed at the much faster behavioural level, while maintaining the accuracy of results. Second, by profiling the implementation-level model, run-time statistics (inactive macrocells, switching activity, etc.) can be exploited to keep result precision while reducing the number of experiments targeting combinational logic. The case study of three embedded processor models illustrates both approaches and quantifies the experimental speed-up derived from their combined use.
Palavras-chave: Simulation-based fault injection, HDL models, inter-level model matching, profiling
Publicado
08/10/2018
TUZOV, Ilya; ANDRES, David; RUIZ, Juan Carlos. Speeding-up robustness assessment of HDL models through profiling and multi-level fault injection. In: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 8. , 2018, Foz do Iguaçu. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2018 . p. 97-106.