Robert J. Stewart, Bernard Berthomieu, Paulo Garcia, Idris Ibrahim, Greg Michaelson, Andrew M. Wallace. Verifying parallel dataflow transformations with model checking and its application to FPGAs. Journal of Systems Architecture, 101, 2019. [doi]
Abstract is missing.