SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding. - Chengxi Li 023; Yang Sun; Lei Chen; Yiwen Wang; Mingxuan Yuan; Evangeline F. Y. Young (DAC, 2025)