[EGRAPHS24] Loop Saturation for Scalable High-Level Synthesis | ACM SIGPLAN | Podwise