基于动态HDL切片技术的高效故障注入
硬件体系结构
2020-02-04 v1 软件工程
摘要
本文提出一种故障注入方法，利用硬件描述语言（HDL）代码切片来剪枝故障注入位置，从而实现更高效的安全机制评估活动。特别地，动态HDL切片技术提供了高度精简的关键故障列表，并允许避免在冗余位置或时步进行注入。实验结果表明，集成于商用工具流程的所提方法相较于最先进的工业级EDA工具流程将仿真速度提升了一倍。
引用
@article{arxiv.2002.00787,
title = {Efficient Fault Injection based on Dynamic HDL Slicing Technique},
author = {Ahmet Cagri Bagbaba and Maksim Jenihhin and Jaan Raik and Christian Sauer},
journal= {arXiv preprint arXiv:2002.00787},
year = {2020}
}
备注
arXiv admin note: substantial text overlap with arXiv:2001.09982