Young-kyu Choi, Yuze Chi, Jie Wang, Jason Cong: FLASH: Fast, Parallel, and Accurate Simulator for HLS. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(12): 4828-4841 (2020)