Extending SystemC for high-level multi-platform SoC simulations