TY - RPRT TI - E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis AU - Chen Chen AU - Guangyu HU AU - Cunxi Yu AU - Yuzhe Ma AU - Hongce Zhang PY - 2025 UR - https://arxiv.org/abs/2504.11574 ID - 2504.11574 ER -