Synthesis Path For Transforming Concurrent Programs Into Hardware Deployable on FPGA-Based Cloud Infrastructures

Abstract

Exploiting FPGAs for acceleration may be performed by transforming concurrent programs. One example method of operation may provide creating synchronous hardware accelerators from concurrent asynchronous programs at software level, by obtaining input as software instructions describing concurrent behavior via a model of communicating sequential processes (CSP) of message exchange between concurrent processes performed via channels, mapping, on a computing device, each of the concurrent processes to synchronous dataflow primitives, comprising at least one of join, fork, merge, steer, variable, and arbiter, producing a clocked digital logic description for upload to one or more field programmable gate array (FPGA) devices, performing primitive remapping of the output design for throughput, clock rate and resource usage via retiming, and creating an annotated graph of the input software description for debugging of concurrent code for the field FPGA devices.

What is claimed is: 
     
         1 . A heat spreader, comprising:
 a flat body having a first longitudinal side, a second longitudinal side opposite of the first longitudinal side, a first major surface extending between the first and second longitudinal sides, and a second major surface opposite of the first major surface;   a head attached to the first longitudinal side of the flat body, a first portion of the head projecting from the first major surface of the flat body in a first direction, a second portion of the head projecting from the second major surface of the flat body in a second direction opposite of the first direction;   a first chamfer extending between and connecting the first portion of the head and the first major surface of the flat body; and   a second chamfer extending between and connecting the second portion of the head and the second major surface of the flat body.   
     
     
         2 . The heat spreader of  claim 1  wherein the second longitudinal side of the flat body includes an inset portion that is inset relative to a remainder of the second longitudinal side. 
     
     
         3 . The heat spreader of  claim 2 , wherein the inset portion to provide a clearance between the heat spreader and a housing of a battery pack. 
     
     
         4 . The heat spreader of  claim 3 , wherein the battery pack is located in a vehicle. 
     
     
         5 . The heat spreader of  claim 3 , wherein the heat spreader is configured to distribute heat way from battery cells in the battery pack. 
     
     
         6 . The heat spreader of  claim 1  further comprising a cylindrical body attached to the second longitudinal side of the flat body. 
     
     
         7 . The heat spreader of  claim 6 , wherein the cylindrical body is hollow. 
     
     
         8 . The heat spreader of  claim 1 , wherein the head and the flat body form a T-shaped profile. 
     
     
         9 . A heat spreader, comprising:
 a flat body having a first longitudinal side, a second longitudinal side opposite of the first longitudinal side, a first major surface extending between the first and second longitudinal sides, and a second major surface opposite of the first major surface;   a head attached to the first longitudinal side of the flat body, a first portion of the head projecting from the first major surface of the flat body in a first direction, a second portion of the head projecting from the second major surface of the flat body in a second direction opposite of the first direction; and   a plurality of components extending between and connecting the first portion and the second portion of the head and the first major surface and the second major surface of the flat body.   
     
     
         10 . The heat spreader of  claim 9  wherein the second longitudinal side of the flat body includes an inset portion that is inset relative to a remainder of the second longitudinal side. 
     
     
         11 . The heat spreader of  claim 10 , wherein the inset portion to provide a clearance between the heat spreader and a housing of a battery pack. 
     
     
         12 . The heat spreader of  claim 11 , wherein the battery pack is located in a vehicle. 
     
     
         13 . The heat spreader of  claim 11 , wherein the heat spreader is configured to distribute heat way from battery cells in the battery pack. 
     
     
         14 . The heat spreader of  claim 9  further comprising a cylindrical body attached to the second longitudinal side of the flat body. 
     
     
         15 . The heat spreader of  claim 14 , wherein the cylindrical body is hollow. 
     
     
         16 . The heat spreader of  claim 9 , wherein the head and the flat body form a T-shaped profile.