Kiwi system models digital circuits with concurrent programs using a standard library in C# for multi-threaded programming. Экспериментальная хрень. http://blogs.msdn.com/b/satnam_singh/archive/2010/04/28/kiwi-synthesis-of-c-and-f-combinational-circuit-models-into-fpga-circuits.aspx
http://research.microsoft.com/en-us/projects/kiwi/