Dr. Peng Li's project "Memory optimization for high-level synthesis" was supported by China Postdoctoral Science Foundation.