Published September 6, 2021 | Version v1
Software Open

The semantics of Shared Memory in Intel CPU/FPGA

  • 1. Imperial College London
  • 2. University of California, Santa Cruz

Description

The aim of this artefact is to demonstrate the claims made in the paper "The Semantics of Shared Memory in Intel CPU/FPGA Systems".

This manual is divided into two parts: Getting Started Guide which should be finished in 30 minutes and a section where we will provide the Step by Step Instructions by which the paper instructions can be reproduced.

Files

OOPSLA2021.zip

Files (21.7 MB)

Name Size Download all
md5:de2d35248b57acb23f9ea2608b164fe5
21.7 MB Preview Download

Additional details

Funding

UK Research and Innovation
Interface reasoning for interacting systems (IRIS). EP/R006865/1
UK Research and Innovation
EPSRC Centre for Doctoral Training in High Performance Embedded and Distributed Systems EP/L016796/1