Time-Aware Spectrum-Based Bug Localization for Hardware Design Code with Data Purification

• DOI: 10.1145/3678009
• Publication Date: 2024-07-12T11:11:02Z
• Authors: Jiang Wu; Zhuo Zhang; Deheng Yang; Jianjun Xu; Jiayu He; Xiaoguang Mao
• Keywords: Code (set theory)

The verification of hardware design code is a critical aspect in ensuring the quality and reliability products. Finding bugs important for development frequently considered as notoriously challenging time-consuming activity while being an essential verification. Thus, bug localization techniques that could assist manual debugging have attracted much attention community. However, there exists unpredictable time span between precise origin its detected manifestation prior work without costly formal Locating responsible exposed discrepancy expected exhibited behavior remains major challenge. In this work, we propose Tartan, T ime- ware spect r um-based localiza t ion with d ta purificatio n to address these limitations. Tartan integrates hardware-specific timing information spectrum captures changes executed statements when state circuit effectively locate bugs. Further, purifies data from simulation evaluates suspiciousness indicate likelihood buggy. To evaluate effectiveness conduct large-scale experiments on 69 versions 15 projects by state-of-the-art techniques. experimental results clearly show statistically more effective than baselines. It provides new perspective brings fresh insights