6 citations · 9 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
An Algorithm for Constructing a Smallest Register with Non-Linear Update Generating a Given Binary Sequence
Nan Li, Elena Dubrova
Registers with Non-Linear Update (RNLUs) are a generalization of Non-Linear Feedback Shift Registers (NLFSRs) in which both, feedback and feedforward, connections are allowed and n…
Embedding of Deterministic Test Data for In-Field Testing
Nan Li, Elena Dubrova
This paper presents a new feedback shift register-based method for embedding deterministic test patterns on-chip suitable for complementing conventional BIST techniques for in-fiel…
AIG Rewriting Using 5-Input Cuts
Nan Li, Elena Dubrova
Rewriting is a common approach to logic optimization based on local transformations. Most commercially available logic synthesis tools include a rewriting engine that may be used m…