INSTILLER: Towards Efficient and Realistic RTL Fuzzing
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems(2024)
摘要
Bugs exist in hardware, such as CPU. Unlike soft- ware bugs, these hardware
bugs need to be detected before deployment. Previous fuzzing work in CPU bug
detection has several disadvantages, e.g., the length of RTL input instructions
keeps growing, and longer inputs are ineffective for fuzzing. In this paper, we
propose INSTILLER (Instruction Distiller), an RTL fuzzer based on ant colony
optimization (ACO). First, to keep the input instruction length short and
efficient in fuzzing, it distills input instructions with a variant of ACO
(VACO). Next, related work cannot simulate realistic interruptions well in
fuzzing, and INSTILLER solves the problem of inserting interruptions and
exceptions in generating the inputs. Third, to further improve the fuzzing
performance of INSTILLER, we propose hardware-based seed selection and mutation
strategies. We implement a prototype and conduct extensive experiments against
state-of-the-art fuzzing work in real-world target CPU cores. In experiments,
INSTILLER has 29.4
mismatches are detected by INSTILLER. With the VACO algorithm, INSTILLER
generates 79.3
effectiveness in distilling the input instructions. In addition, the
distillation leads to a 6.7
更多查看译文
关键词
fuzzing,RTL,hardware security
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要