DRDebug: Automated Design Rule Debugging. - Irina Alam; Tianmu Li; Sean Brock; Puneet Gupta 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)