TY - RPRT TI - SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding AU - Chengxi Li AU - Yang Sun AU - Lei Chen AU - Yiwen Wang AU - Mingxuan Yuan AU - Evangeline F. Y. Young PY - 2025 UR - https://arxiv.org/abs/2510.17251 ID - 2510.17251 ER -