Outil permettant d'évaluer la résistance des circuits électroniques aux injections de fautes, notamment pour sécuriser les processeurs. Il analyse la robustesse des designs contre des attaques matérielles en partitionnant les composants et en vérifiant leur intégrité. Utilisé dans le domaine de la cybersécurité matérielle, il aide à identifier les failles exploitables et à renforcer la fiabilité des systèmes critiques comme les CPU sécurisés.