Open access dataset for "Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs"

Dataset

Description

This article has been accepted to the Elsevier Journal of Systems Architecture.
Date made available10 Sep 2019
PublisherHeriot-Watt University

Cite this

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