Greensocs is a development kit for producing systems on a chip using SystemC (a C++ derivative) as opposed to Verilog or VHDL.