6 citations · 7 across the 4 of their papers we have counts for
Showing cs.ARShow all
2 papers · 1 filter
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…
cs.AR2015★ 6 cited
Logic BIST: State-of-the-Art and Open Problems
Nan Li, Gunnar Carlsson, Elena Dubrova +1
Many believe that in-field hardware faults are too rare in practice to justify the need for Logic Built-In Self-Test (LBIST) in a design. Until now, LBIST was primarily used in saf…