verilator working in systemC  without uart