Kiwi: Logic Synthesis from .net CIL Bytecode

The HPR Orangepath tool can accept a variety of input formats, including CIL bytecode. This bytecode is generated by Microsoft .net tools the tools from the mono project.

Currently we are defining a compilation profile for C# called Kiwi.

Here are some simple demos from early runs of the kiwic compiler.

• 1. Times Table Test,

• 2. Channel I/O Test,

• 3. Hello world, detailed step-by-step example,

• 4. Uninitialised Array Test.

• 5. On-chip and Off-chip primes counter.

• 6. Remote Procedure Call.

• 6. Memory Hazards.

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. We are also testing with input from the F# dialect of ML.

31st October 2007.               UP.