HPR L/S Project: Hardware and Embedded Software Synthesis from Executable Specifications.
Compilation from .net CIL Bytecode

Kiwi: Scientific Acceleration and Logic Synthesis from .net CIL Bytecode

High-level synthesis from concurrent C#.

The KiwiC compiler takes CIL bytecode (dotnet portable assembly PE files) and generates RTL circuits for FPGA (or ASIC). This bytecode is generated by Microsoft .net tools the tools from the mono project.

Simple Demos

Here are some simple demos from early runs of the KiwiC compiler where illustrative C# programs are compiled to Verilog.

Although the above examples all use the C# front end and Kiwi library, other users of the KiwiC compiler have generated their .net code from C++ using gcc4cil.

Updated 2007 - 2016.               UP.             Since June 2016: web counter   web counter