RISC-V with SystemC