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.
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