Liangji Chen, Tingyuan Liang, Wei Zhang, Sharad Sinha. DiffLo: A Graph-based Method for Functional Discrepancy Localization in High-level Synthesis. In International Conference on Field Programmable Technology, ICFPT 2023, Yokohama, Japan, December 12-14, 2023. pages 300-301, IEEE, 2023. [doi]
Abstract is missing.