Orangepath/HPR-L/S Project: Hardware and Embedded Software Synthesis from Executable Specifications.
Kiwic .net Compilation to Hardware.

The HPR L/S Project.

Kiwic .net Compilation to Hardware

Comp-Arch Talk May 2011.

CCPC Talk, March 2012.

Kiwi was developed at the University of Cambridge Computer Laboratory and Microsoft Research Limited, headed by David Greaves (UoCCL) and Satnam Singh (MRL).

Kiwi is undertaken at the Computer Laboratory as part of a logic synthesis project called HPR L/S and it uses the Orangepath core library.

Kiwi is developing a methodology for hardware design using the parallel programming constructs of the C# language. Specifically, Kiwi consists of a run-time library for native simulation of hardware descriptions within C# and a compiler that generates RTL from stylised .net bytecode.

This web site currently describes early kiwic examples and use. The kiwi runtime library is not yet documented.

Online Resources

  • Early demonstrations: Demo Pages.

  • Kiwi kiwic compiler manual - (very draft form): PDF, HTML.

  • Kiwic shares a lot of material with the H2 compiler: PDF, HTML.