Automation Framework for Digital Circuit Design and Verification. - Hayun Bong; Kyungseon Cho; Yeongkyo Seo (ISOCC, 2022)