HW/SW testbench, UTF co-simulation