This work proposes a fault injection methodology where Hardware Description Language (HDL) code slicing is exploited to prune fault injection locations, thus enabling more efficient campaigns for safety mechanisms evaluation. In particular, the dynamic HDL slicing technique provides for a highly collapsed critical fault list and allows avoiding injections at redundant locations or time-steps. Experimental results show that the proposed methodology integrated into commercial tool flow doubles the simulation speed when comparing to the state-of-the-art industrial-grade EDA tool flows.

中文翻译：

---

基于动态HDL切片技术的高效故障注入

这项工作提出了一种故障注入方法，其中利用硬件描述语言 (HDL) 代码切片来修剪故障注入位置，从而实现更有效的安全机制评估活动。特别是，动态 HDL 切片技术提供高度折叠的关键故障列表，并允许避免在冗余位置或时间步长处注入。实验结果表明，与最先进的工业级 EDA 工具流程相比，所提出的集成到商业工具流程中的方法使仿真速度提高了一倍。