Hu, J., et al.. Equivalence Checking of Scheduling in High-level Synthesis Using Deep State Sequences. Institute of Electrical and Electronics Engineers (IEEE), 2019, doi:10.1109/access.2019.2960511.