Author

Kezhi Li

h-index 3 View on Semantic Scholar

We have 2 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Review Aug 2026

Spec-Driven Hardware Evolution via Executable Contract Refinement and Proof-Guided RTL Update

The results support the feasibility of contract-driven hardware evolution and demonstrate that the proposed backend workflow can effectively drive validated legacy RTL toward next-version functional convergence under a reviewed executable contract.

Shibo Zhao, Yang Zhang, M. Tao et al. · 0 citations

Jul 2026

Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification

Arisca establishes a generalized parameter space that unifies previously isolated state-of-the-art SOTA techniques as specific configurations within a broader algebraic reduction theory and expands the verification scope to encompass general arithmetic circuits with any combination of addition and multiplication, such...

Kezhi Li, Min Li, Qiang Xu · arXiv.org · 0 citations