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

Research Output

Verifying Parallel Dataflow Transformations with Model Checking and its Application to FPGAs

Stewart, R., Berthomieu, B., Garcia, P., Ibrahim, I., Michaelson, G. & Wallace, A., Dec 2019, In : Journal of Systems Architecture. 101, 101657.

Research output: Contribution to journalArticle

Open Access
File
  • 15 Downloads (Pure)

    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