User documentation

2010 LEAP Overview

12/10/2010 10:46 am

Older LEAP overview paper from the 2010 Carl workshop. Some of the descriptions are now out of date.

A more recent paper is available: LEAP Overview.

LEAP Scratchpads

12/10/2010 10:51 am

ISFPGA 2011: LEAP Scratchpads: Automatic Memory and Cache Management for Reconfigurable Logic (Extended version)


02/11/2012 12:18 pm

This document describes RRR and it syntax/synthesis in detail.


02/11/2012 12:20 pm

ISFPGA 2012: Leveraging Latency-Insensitivity to Ease Multiple FPGA Design

This document describes the theory and implementation of multiple FPGA support in LEAP.

LEAP Overview

01/30/2013 10:44 am

An overview of the LEAP computation model and operating system services.

LEAP Soft Connections

04/04/2014 01:57 pm

DAC 2009: Soft Connections: Addressing the Hardware-Design Modularity Problem

Technical documentation

Scalable Reconfigurable Computation

01/30/2013 12:06 pm

This thesis documents the behavior of the multiple FPGA compiler. It also discusses some of the work in LEAP and its philosophical underpinnings.

Bluespec for LEAP Users

04/04/2014 02:23 pm

Basic introduction to Bluespec that might help anyone wishing to read LEAP sources before learning Bluespec.