most citedAssertFix: Empowering Automated Assertion Fix via Large Language Models

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

collaborators
Showing cs.ETShow all

1 paper · 1 filter

cs.ET2026

E-ALS: Approximation-Potential-Aware E-Graph Rewriting for Approximate Logic Synthesis

Bin Sun, Jianan Mu, Jiaxi Zhang +4

Approximate logic synthesis (ALS) improves circuit power, performance, and area by trading exact correctness for bounded functional error. However, existing structural ALS methods…