PETRA: Powerful Early Termination-Based Redundancy Analysis. - Youngkwang Lee; Hyojun Yun; Younwoo Yoo; Sungho Kang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)