Combining dynamic slicing and mutation operators for ESL correction
Combining dynamic slicing and mutation operators for ESL correction
复制标题
结合动态切片和变异算子进行 ESL 校正
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
F. Fummi
中科院分区：
文献类型：
--
作者：
Urmas Repinski;Hanno Hantson;M. Jenihhin;J. Raik;R. Ubar;G. D. Guglielmo;G. Pravadelli;F. Fummi
验证日益成为数字系统设计的瓶颈。事实上，大部分验证周期不是花在检测错误的发生上，而是花在调试上，包括定位和纠正错误。然而，自动设计错误调试，特别是在系统级，受到的关注远远少于错误检测。本文提出了一种自动纠正系统级设计的方法。我们提出了一种基于动态切片和位置排序的方法来准确定位错误位置，并结合一组专用的变异算子来自动提出错误纠正建议。为了验证该方法的有效性，在西门子基准测试集上进行了实验。实验表明，与最先进的基于突变的纠正方法相比，所提出的方法能够纠正三倍以上的错误，同时检查更少的突变。
Verification is increasingly becoming the bottleneck in designing digital systems. In fact, most of the verification cycle is not spent on detecting the occurrences of errors but on debugging, consisting of locating and correcting the errors. However, automated design-error debug, especially at the system-level, has received far less attention than error detection. Current paper presents an automated approach to correcting system-level designs. We propose dynamic-slicing and location-ranking-based method for accurately pinpointing the error locations combined with a dedicated set of mutation operators for automatically proposing corrections to the errors. In order to validate the approach, experiments on the Siemens benchmark set have been carried out. The experiments show that the proposed method is able to correct three times more errors compared to the state-of-the-art mutation-based correction methods while examining fewer mutants.