On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms