Abstract: Functional coverage closure, particularly for the challenging "last-mile coverage" (LMC) bins in complex RTL designs, remains a critical verification bottleneck. Prevailing approaches often ...