Kiwi : Compiling Concurrent Programs to Hardware

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.

The designer uses more concurrency than `natural' for software. This is mapped to concurrent hardware by the Kiwi tools.