Jian Hu, Yongyang Hu, Long Yu, Haitao Yang, Yun Kang, Jie Cheng. Validating GCSE in the scheduling of high-level synthesis. In 29th IEEE Asian Test Symposium, ATS 2020, Penang, Malaysia, November 23-26, 2020. pages 1-6, IEEE, 2020. [doi]
Abstract is missing.