Facilitating unreachable code diagnosis and debugging

16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011) Pub Date : 2011-01-25 DOI:10.1109/ASPDAC.2011.5722238

Hong-Zu Chou, Kai-Hui Chang, S. Kuo

引用次数: 8

Abstract

Code coverage is a popular method to find design bugs and verification loopholes. However, once a piece of code is determined to be unreachable, diagnosing the cause of the problem can be challenging: since the code is unreachable, no counterexample can be returned for debugging. Therefore, engineers need to analyze the legality of nonexistent execution paths, which can be difficult. To address such a problem, we analyzed the cause of unreachability in several industrial designs and proposed a diagnosis technique that can explain the cause of unreachability. In addition, our method provides suggestions on how to solve the un-reachability problem, which can further facilitate debugging. Our experimental results show that this technique can greatly reduce an engineer's effort in analyzing unreachable code.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

促进不可达代码的诊断和调试

代码覆盖是发现设计缺陷和验证漏洞的常用方法。然而，一旦确定一段代码不可访问，诊断问题的原因可能具有挑战性:由于代码不可访问，因此无法返回反例进行调试。因此，工程师需要分析不存在的执行路径的合法性，这可能是困难的。为了解决这个问题，我们分析了几个工业设计中不可达性的原因，并提出了一种可以解释不可达性原因的诊断技术。此外，我们的方法还提供了如何解决不可达问题的建议，可以进一步方便调试。实验结果表明，该技术可以大大减少工程师分析不可达代码的工作量。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

16th Asia and South Pacific Design Automation Conference (ASP-DAC 2011)

自引率

0.00%

发文量

期刊最新文献

Register pressure aware scheduling for high level synthesis Robust and efficient baseband receiver design for MB-OFDM UWB system Area-efficient FPGA logic elements: Architecture and synthesis Utilizing high level design information to speed up post-silicon debugging Device-parameter estimation with on-chip variation sensors considering random variability