Verilator [13] is an open source tool which generates cycle accurate C++ and SystemC models from synthesizable Verilog RTL. The models follow 2-state, zero delay, synthesizable semantics. Experimental versions are also able to process VHDL.
The functionality is similar to commercial offerings from ARC (VTOC) and Carbon Design Systems (Model Studio).
A Verilator SystemC model of ORPSoC simulates at up to 130kHz on a standard Linux PC.