ISCAS 2023 | Technical Lecture and Demo CERTIFY: Automatic Measuring the Quality of High-Level Synthesis Presented Date May 22, 2023