Search papers, labs, and topics across Lattice.
The paper introduces Batch Before You Time (BBYT), a novel approach that compiles all candidates of a rewrite decision into a single scoped zero-delay image, significantly enhancing the efficiency of timing-aware logic rewriting. By reducing the need for repeated timing evaluations, BBYT achieves an average reduction of 18.05% in candidate-selection time across various workloads, while also demonstrating a 9.24% speed improvement in specific gate executions. The method effectively balances the trade-off between proxy execution and timing fidelity, achieving substantial reductions in timed evaluations without sacrificing accuracy.
BBYT slashes candidate-selection time by over 18% while maintaining the accuracy of timing-aware logic rewrites, revolutionizing how we approach timing evaluations in circuit design.
Standard Delay Format (SDF)-annotated switching simulation distinguishes delay-dependent activity among functionally equivalent rewrites, but evaluating every candidate repeats timing, compilation, and replay. A zero-delay proxy can remove timed evaluations, but generating that proxy candidate by candidate can cost more than the timed work it saves. We present Batch Before You Time (BBYT), which compiles all candidates of one rewrite decision into one scoped zero-delay image and either commits a well-separated proxy winner or invokes the unchanged timed chain. Across 12 counterbalanced holdout sequences, BBYT reduces complete candidate-selection time by 18.05% on average; the design-level reductions are 5.84% and 30.25%, with both confidence intervals above zero. On a counterbalanced 8,192-transition C6288 workload, BBYT is 9.24% faster than the same gate executed with candidate-wise proxy launches. In the five-workload corpus, BBYT removes 32.52% of timed candidate evaluations and matches exhaustive timed selection on all 250 evaluated decisions. For on-demand timing-aware rewrite selection, proxy execution and fidelity continuation should use the same decision scope.
