Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,”https://doi.org/10.1109/ICCAD.1999.810700__494–99. IEEE, 1999.https://doi.org/10.1109/ICCAD.1999.810700 .