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…