(HLS) checked cosimulation testbench