Learn about alternative high performance computing at the FPGA 2011 conference

The ACM/SIGDA International Symposium on Field-Programmable Gate Arrays is the premier conference for presentation of advances in all areas related to FPGA technology. FPGAs for computing used to be confined to a niche market of engineers that were willing to carefully hand craft circuits to get extreme performance that could not be achieved with regular…

0

Compiling C# Programs into FPGA Circuits: Factorial Example

This blog article gives a practical introduction to how C# programs can be compiled into FPGA circuits using the Kiwi system developed by myself and David Greaves at the University of Cambridge Computer Lab. Our starting point will be a C# program developed inside Visual Studio 2010 for computing factorial: This program can be compiled…

12

F# Black-Scholes running on GPUs and SSE3 Multicore Processors using Accelerator

The Accelerator library from Microsoft helps us write code which can execute on GPUs and multicore processors using SSE3 vector instructions. There is also an experimental FPGA target. To illustrate data-parallel programming in F# using Accelerator I show below  an implementation of the Black-Scholes computation which is based on the sample from the CUDA SDK…

8

Kiwi Synthesis of C# and F# Combinational Circuit Models into FPGA Circuits

The Kiwi project aims to automatically translate concurrent C# and F# programs into FPGA circuits for accelerated execution. I work with David Greaves at the University of Cambridge Computer Laboratory and we have a prototype system that consumes .NET bytecode and converts it into VHDL or Verilog circuit descriptions. Kiwi usually produces a sequential circuit…

4

An F# Functional Geometry Description of Escher’s Fish

This blog explains how Escher‘s fish wood carving can be expressed in F# using functional geometry which was first presented by Peter Henderson in 1982. This very functional and compositional style of describing pictures is nicely expressed in F#. Functional geometry provides us with a nice algebra for pictures which has been used by the…

4