Kiwi is a collaborative project between the University of Cambridge Computer Laboratory and Microsoft Research Limited, headed by David Greaves (UoCCL) and Satnam Singh (MRL).
Microsoft site: KIWI.
Kiwi is undertaken at the Computer Laboratory as part of a logic synthesis project called HPR/LS 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.