Pu-Jun Su

Batch Before You Time: Decision-Scoped Proxy Execution for Timing-Aware Logic Rewriting

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 mor...