This article has been accepted to the Elsevier Journal of Systems Architecture.
|Date made available||10 Sep 2019|
Stewart, R. J. (Creator) (10 Sep 2019). Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs". Heriot-Watt University. 10.17861/85ff96b4-2c6b-4f58-8322-74f0ab45f684