2 papers
cs.AR2026
Efficient Solving for Dynamic Data Structure Constraint Satisfaction Problem
Nanbing Li, Weijie Peng, Jin Luo +4
Functional verification plays a central role in ensuring the correctness of modern integrated circuit designs, where constrained-random verification is widely adopted to generate d…
stat.ME2025
NOVA: Coordinated Test Selection and Bayes-Optimized Constrained Randomization for Accelerated Coverage Closure
Weijie Peng, Nanbing Li, Jin Luo +5
Functional verification relies on large simulation-based regressions. Traditional test selection relies on static test features and overlooks actual coverage behavior, wasting subs…