CERTIFY: AutomatiC MEasuRing The QualIty oF High-Level SYnthesis. - M. Imtiaz Rashid; Amir H. Torabi; Benjamin Carrión Schäfer (ISCAS, 2023)