activity
20242026
most citedOriGen:Enhancing RTL Code Generation with Code-to-Code Augmentation and Self-Reflection

1 citations · 1 across the 9 of their papers we have counts for

collaborators
Showing cs.SCShow all

1 paper · 1 filter

cs.SC2026

Arisca: A Parameterized Symbolic Algebra Framework for Arithmetic Circuit Verification

Kezhi Li, Min Li, Qiang Xu

Formal verification of highly optimized arithmetic circuits at the gate-level remains a significant challenge due to the state space explosion problem. Although Symbolic Computer A…