Only tested with verilator/systemc