An efficient method to localize and correct bugs in high-level designs using counterexamples and potential dependence

摘要

As high-level design draws more attention and has been adopted more widely, verification and debugging for high-level designs has become more important. In this paper, we propose a method to find possible corrections for given counter-examples, targeting high-level design descriptions. To efficiently find corrections, program slicing technique and constraints generated from counterexamples are applied to reduce the number of initial bug candidates and debugging scope. Through the experiments, we show that the proposed method with the reduction efficiently works for several example designs and bugs, and successfully identifies bug locations.