Search papers, labs, and topics across Lattice.
The paper introduces Pecker, a bug localization framework designed to address the challenges of debugging sequential hardware designs by reconstructing broken causal chains. Pecker employs temporal backtracking with Estimated Minimal Propagation Cycles to identify potential activation cycles and strategic trace pruning to mitigate state pollution. Experiments on combinational and sequential circuits demonstrate that Pecker significantly outperforms state-of-the-art techniques, localizing 51%/80%/85% of bugs within Top-1/3/5 ranks, respectively, while maintaining performance across varying circuit complexities.
Pecker pinpoints hardware bugs in sequential designs with significantly higher accuracy (up to 85% within Top-5 ranks) by untangling the temporal mess of error propagation that confounds existing techniques.
Debugging represents a time-consuming and labor-intensive task in hardware design, with bug localization constituting a substantial portion of this process. While spectrum-based bug localization techniques have achieved remarkable success in software domains and shown promise for hardware description languages, their effectiveness severely degrades in sequential designs. Unlike software programs, hardware designs exhibit intrinsic temporal characteristics that create fundamental challenges: timing misalignment between bug activation and observation, and progressive error propagation through state elements that obscures the root cause. To address these limitations, we propose Pecker, a novel bug localization framework that reconstructs the broken causal chain in sequential designs. Our approach introduces two key innovations: temporal backtracking using Estimated Minimal Propagation Cycles to identify potential activation cycles, strategic trace pruning to eliminate state pollution effects. We evaluate Pecker on comprehensive benchmarks comprising both combinational and sequential circuits. Experimental results demonstrate that Pecker effectively localizes 51%/80%/85% bugs within Top-1/3/5 ranks respectively, significantly outperforming state-of-the-art techniques. Notably, Pecker maintains robust performance across circuit complexities while existing methods exhibit severe degradation on sequential designs.
