Name
Abstract | ||
|---|---|---|
We describe the Kiwi parallel programming library and its associated synthesis system which is used to transform C# parallel programs into circuits for realization on FPGAs. The Kiwi system is targeted at making reconfigurable computing technology accessible to software engineers that are willing to express their computations as parallel programs. Although there has been much work on compiling sequential C-like programs to hardware by automatically `discovering¿ parallelism, we work by exploiting the parallel architecture communicated by the designer through the choice of parallel and concurrent programming language constructs. Specifically, we describe a system that takes .NET assembly language with suitable custom attributes as input and produces Verilog output which is mapped to FPGAs. We can then choose to apply analysis and verification techniques to either the highlevel representation in C# or other .NET languages or to the generated RTL netlists. A distinctive aspect of our approach is the exploitation of existing language constructs for concurrent programming and synchronization which contrasts with other schemes which introduce specialized concurrency control constructs to extend a sequential language. |
Year | DOI | Venue |
|---|---|---|
2008 | 10.1109/FCCM.2008.46 | FCCM |
Keywords | DocType | ISBN |
fpga circuits,sequential C-like programs,parallel program,programming language,Kiwi parallel programming library,parallel programming,concurrent programming language construct,circuit analysis computing,concurrent programming,parallel architectures,kiwi parallel programming library,parallel programs,kiwi system,sequential language,associated synthesis system,assembly language,FPGA circuit synthesis,language construct,reconfigurable computing technology,field programmable gate arrays,software engineers,high level synthesis,parallel architecture,C# parallel programs,.NET assembly language | Conference | 978-0-7695-3307-0 |
Citations | PageRank | References |
42 | 2.65 | 9 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Satnam Singh | 1 | 571 | 59.08 |
| David J. Greaves | 2 | 124 | 30.48 |