Published March 12, 2024 | Version v1
Software Open

Artefact: Hyperblock Scheduling for Verified High-Level Synthesis

  • 1. ROR icon Imperial College London

Description

The instructions are located in the README.md or README.pdf files.

The artefact then includes an OVA VM image which includes the whole artefact with all dependencies.

Finally, this artefact also includes the git repository of the project.

Files

README.pdf

Files (9.8 GB)

Name Size Download all
md5:c1a23fbeacd0570f8d82beb5662d59b1
28.7 kB Preview Download
md5:179999a7faaa20505132c44d82212f21
440.7 kB Preview Download
md5:d3d732edda6b0beb0c925c4e1bf2b588
9.7 GB Download
md5:3ac1d307730003214a006d607af29413
56.2 MB Download