Most of the paid tools use GCC to simulate SystemC .. you can directly go for the GCC solution .. it's free .. and it run on both windows and linux .. on the linux/cygwin shell you will also find the debugger .. and you can also use GTK wave viewer to view your dump files ..
A complete SystemC front-end flow for free .. and I can say that's it's professional ..