arXiv · 2603.12797
CellE: Automated Standard Cell Library Extension via Equality Saturation
Abstract
Automated standard cell library extension is crucial for maximizing Quality of Results (QoR) in modern VLSI design. We introduce CellE, a novel framework that leverages formal methods to achieve exhaustive discovery of functionally equivalent subcircuits. CellE applies equality saturation to the post-mapping netlist, generating an e-graph to cluster all functionally equivalent implementations. This canonical representation enables an efficient pattern mining algorithm to select the most area-optimal standard cells. Experimental results show a 15.41% average area reduction (up to 23.64% over prior work). Furthermore, characterization in a commercial flow demonstrates an 8.00% average delay reduction, confirming CellE's superior QoR optimization capabilities.
Explore related subjects
Keep this discovery
Yi Ren, Yukun Wang, Xiang Meng, Guoyao Cheng, Baokang Peng, Lining Zhang, Yibo Lin, Runsheng Wang, Guangyu Sun. 2026-03-13. CellE: Automated Standard Cell Library Extension via Equality Saturation. https://doi.org/10.1145/3770743.3803942
Cite the original work for its findings. Save a collection to share your selection of sources.