Towards an unified IP verification and robustness analysis platform

In this work, we propose to develop and to combine in a same tool functional verification and robustness analysis of IP cores. The overall purpose of this methodology unifying functional verification and robustness analysis is to help designers in getting more quickly “first right time” hardened IP designs. Indeed, re-using the results of the functional verification analysis, i.e. mutation score, will help us to analyze more quickly the IP robustness. In this paper, we discuss about the synthesizable Mutation Function performing the transient fault injection. We focus on its efficiency to model realistic transient faults and to fit with the already existing Aligator platform performing the functional verification analysis of digital IP.

[1]  R. Leveugle Early Analysis of Fault-based Attack Effects in Secure Circuits , 2007, IEEE Transactions on Computers.

[2]  Régis Leveugle,et al.  Reduced Instrumentation and Optimized Fault Injection Control for Dependability Analysis , 2006, 2006 IFIP International Conference on Very Large Scale Integration.

[3]  David Naccache,et al.  Single-bit DFA using multiple-byte laser fault injection , 2010, 2010 IEEE International Conference on Technologies for Homeland Security (HST).

[4]  Alfredo Benso,et al.  Fault Injection Techniques and Tools for Embedded Systems , 2003 .

[5]  Vincent Beroulle,et al.  Functional Verification of RTL Designs driven by Mutation Testing metrics , 2007, 10th Euromicro Conference on Digital System Design Architectures, Methods and Tools (DSD 2007).

[6]  A. Tria,et al.  A generic method for fault injection in circuits , 2006, 2006 6th International Workshop on System on Chip for Real Time Applications.

[7]  F. Vargas,et al.  Reliability verification of fault-tolerant systems design based on mutation analysis , 1998, Proceedings. XI Brazilian Symposium on Integrated Circuit Design (Cat. No.98EX216).

[8]  Vincent Beroulle,et al.  Impact of hardware emulation on the verification quality improvement , 2007, 2007 IFIP International Conference on Very Large Scale Integration.