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). The Kiwi compiler is being developed at the Computer Laboratory and using a logic synthesis library called HPR or HPR-L/S.
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 manual is currently in a very-rough form. There is as much wrong and outdated information in here as there is correct!