← Search

Kezhi Li

3 accepted papers

2025

Functional Matching of Logic Subgraphs: Beyond Structural Isomorphism

NeurIPS 2025poster

Subgraph matching in logic circuits is foundational for numerous Electronic Design Automation (EDA) applications, including datapath optimization, arithmetic verification, and hardware trojan detection. However, existing techniques rely primarily on structural graph isomorphism and thus fail to iden…

Cited by 0SourceScholar
2016

Piecewise sparse signal recovery via piecewise orthogonal matching pursuit

ICASSP 2016accepted

In this paper, we consider the recovery of piecewise sparse signals from incomplete noisy measurements via a greedy algorithm. Here piecewise sparse means that the signal can be approximated in certain domain with known number of nonzero entries in each piece/segment. This paper makes a two-fold con…

Cited by 0SourceScholar