E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.

Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang

Browse the full DAC paper archive.