SmaRTLy: RTL Optimization with Logic Inferencing and Structural Rebuilding.

Chengxi Li, Yang Sun, Lei Chen, Yiwen Wang, Mingxuan Yuan, Evangeline F. Y. Young

Browse the full DAC paper archive.